Rename "Access Types - Advanced" to "Access Types In Depth"#482

Open

frank-at-adacore wants to merge 4 commits intomasterfrom slides/72-access-types-module-needs-a-better-comparison-between-pool-specific-and-general-access-types

+39-15