| Wed, 11 Jan 2023 11:38:01 +0100 | eliminate use of Thy_Info 12: TermC partially | file | diff | annotate |
| Sat, 14 Aug 2021 16:37:31 +0200 | proper formal names for types, finished cf.908c760f0def | file | diff | annotate |
| Mon, 19 Jul 2021 17:29:35 +0200 | introduce ALL valid const_name in test/* | file | diff | annotate |
| Mon, 21 Jun 2021 15:36:09 +0200 | more antiquotations for Isabelle/HOL consts/types, without change of semantics; | file | diff | annotate |
| Sun, 10 May 2020 17:26:36 +0200 | cleanup generate.sml, model.sml | file | diff | annotate |
| Sat, 09 May 2020 11:55:51 +0200 | shift code to Input_Descript, rename identifiers (+ keep old) | file | diff | annotate |
| Tue, 27 Aug 2019 15:32:38 +0200 | tuned | file | diff | annotate |