1
use "../settings.ML";
2
use_thy "Tree";
3
use_thy "Tree2";
4
use_thy "case_exprs";
5
use_thy "fakenat";
6
use_thy "natsum";
7
use_thy "pairs";
8
use_thy "types";
9
use_thy "prime_def";
10
use_thy "simp";
11
use_thy "Itrev";
12
use_thy "AdvancedInd";