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 |