| 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 |