equal
deleted
inserted
replaced
10 time_use_thy "Peirce"; |
10 time_use_thy "Peirce"; |
11 time_use_thy "ExprCompiler"; |
11 time_use_thy "ExprCompiler"; |
12 time_use_thy "Group"; |
12 time_use_thy "Group"; |
13 time_use_thy "Summation"; |
13 time_use_thy "Summation"; |
14 time_use_thy "KnasterTarski"; |
14 time_use_thy "KnasterTarski"; |
15 time_use_thy "MutilatedCheckerboard"; |
15 (*TEMPORARILY DELETED time_use_thy "MutilatedCheckerboard";*) |
16 with_path "../Induct" time_use_thy "MultisetOrder"; |
16 with_path "../Induct" time_use_thy "MultisetOrder"; |
17 with_path "../W0" time_use_thy "W_correct"; |
17 with_path "../W0" time_use_thy "W_correct"; |
18 with_path "../ex" time_use_thy "Fibonacci"; |
18 (*TEMPORARILY DELETED with_path "../ex" time_use_thy "Fibonacci";*) |
19 time_use_thy "Puzzle"; |
19 time_use_thy "Puzzle"; |
20 time_use_thy "NestedDatatype"; |
20 time_use_thy "NestedDatatype"; |