Wed, 24 Aug 2022 18:29:33 +0200 |
polish naming in structure Eval
|
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 |
Wed, 26 May 2021 13:42:53 +0200 |
more formal @{theory Complex_Main};
|
file | diff | annotate |
Mon, 19 Apr 2021 11:36:13 +0200 |
notes on Thy_Info.get_theory cf.36cad744ecb9
|
file | diff | annotate |
Sun, 18 Apr 2021 23:37:59 +0200 |
conditional compilation via system option "isac_test" and antiquotation \<^isac_test>CARTOUCHE:
|
file | diff | annotate |
Wed, 09 Dec 2020 14:22:24 +0100 |
adopt new theory identifier also in comments
|
file | diff | annotate |
Tue, 12 May 2020 17:42:29 +0200 |
shift code from struct.Specify to appropriate locations
|
file | diff | annotate |
Mon, 11 May 2020 11:38:52 +0200 |
error -> raise ERROR
|
file | diff | annotate |
Wed, 29 Apr 2020 09:03:01 +0200 |
comments on relation between files.
|
file | diff | annotate |
Tue, 28 Apr 2020 16:51:36 +0200 |
separate struct.Thy_Read
|
file | diff | annotate |