equal
deleted
inserted
replaced
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 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 time_use_thy "Puzzle"; |
19 time_use_thy "Puzzle"; |
19 time_use_thy "Minimal"; |
20 time_use_thy "Minimal"; |