| Mon, 19 Jul 2021 17:29:35 +0200 | introduce ALL valid const_name in test/* | 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 |
| Sat, 17 Jul 2021 14:05:28 +0200 | replace "-*" by "- *" for numerals "*" in test/* | file | diff | annotate |
| Fri, 16 Jul 2021 07:45:06 +0200 | separate poly-1 /-2.sml | file | diff | annotate |