source: Deliverables/Dissemination/front-end/final-review/front-end.toc @ 3278

Last change on this file since 3278 was 3278, checked in by Ian Stark, 7 years ago

Renaming and moving

File size: 426 bytes
Line 
1\beamer@endinputifotherversion {3.07pt}
2\beamer@sectionintoc {1}{Correctness proofs}{12}{0}{1}
3\beamer@subsectionintoc {1}{1}{Generic lifting result}{12}{0}{1}
4\beamer@subsectionintoc {1}{2}{Simulations for compiler passes}{15}{0}{1}
5\beamer@sectionintoc {2}{Checking cost labelling properties}{17}{0}{2}
6\beamer@sectionintoc {3}{Construction of structured traces}{25}{0}{3}
7\beamer@sectionintoc {4}{Whole compiler}{26}{0}{4}
Note: See TracBrowser for help on using the repository browser.