1
2 no_document use_thy "Setup";
3
4 use "../settings.ML";
5 use_thy "Numbers";
6 use_thy "Pairs";
7 use_thy "Records";
8 use_thy "Typedefs";
9 use_thy "Overloading";
10 use_thy "Axioms";