Sun, 09 Oct 2022 07:44:22 +0200 | eliminate term2str in test/* | file | diff | annotate |
Sat, 30 Jul 2022 16:47:45 +0200 | eliminate global flag Rewrite.trace_on | file | diff | annotate |
Tue, 21 Jun 2022 16:04:43 +0200 | rename functions in i-model.sml | file | diff | annotate |
Sun, 18 Jul 2021 16:20:32 +0200 | eliminate ThmC.numerals_to_Free: Test_Isac_Short.thy works with TOODOO s | file | diff | annotate |
Thu, 15 Jul 2021 14:10:18 +0200 | ewrite.sml + poly.sml + rational.sml: ok, repair rewrite-orders | file | diff | annotate |
Fri, 10 Apr 2020 15:02:50 +0200 | rename directory CalcElements to BaseDefinitions | file | diff | annotate | base |