| Wed, 11 Jan 2023 11:38:01 +0100 | eliminate use of Thy_Info 12: TermC partially | 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 |
| Tue, 20 Apr 2021 17:10:02 +0200 | remove de/encode for ^^^ | file | diff | annotate |
| Tue, 20 Apr 2021 16:58:44 +0200 | replace power ^^^ by \<up> | file | diff | annotate |
| Mon, 19 Apr 2021 15:02:00 +0200 | long identifiers for occurences in test/../termC.sml | file | diff | annotate |
| Wed, 20 May 2020 12:52:09 +0200 | standard format for string lists | file | diff | annotate |
| Wed, 15 Apr 2020 13:47:56 +0200 | use "ThyC" for renaming identifiers | file | diff | annotate |
| Thu, 12 Sep 2019 14:42:53 +0200 | /----- finish update Isabelle2018 --> Isabelle2019 for Test_Isac.thy | file | diff | annotate |
| Wed, 28 Aug 2019 11:21:26 +0200 | reorganised MathEngine/ BridgeLibisabelle/ | file | diff | annotate | base |