wneuper <Walther.Neuper@jku.at> [Mon, 01 Jan 2024 11:31:16 +0100] rev 60789
Doc/Specify_Phase 4: start use antiquotations from isar-ref
wneuper <Walther.Neuper@jku.at> [Sun, 31 Dec 2023 15:13:39 +0100] rev 60788
Doc/Specify_Phase 3: use antiquotations from Lucas_Interpreter
wneuper <Walther.Neuper@jku.at> [Sun, 31 Dec 2023 09:42:27 +0100] rev 60787
Doc/Specify_Phase 2: copy finished
wneuper <Walther.Neuper@jku.at> [Sat, 30 Dec 2023 17:52:03 +0100] rev 60786
Doc/Specify_Phase 1: first part copied from ThEdu'23 paper
wneuper <Walther.Neuper@jku.at> [Sat, 30 Dec 2023 16:49:50 +0100] rev 60785
bind Doc/Lucas_Interpreter and Doc/Specify_Phase into Test_Isac
wneuper <Walther.Neuper@jku.at> [Sat, 30 Dec 2023 07:07:58 +0100] rev 60784
update Lucas_Interpreter.thy
wneuper <Walther.Neuper@jku.at> [Sat, 30 Dec 2023 06:22:52 +0100] rev 60783
more TODO
wneuper <Walther.Neuper@jku.at> [Mon, 11 Dec 2023 17:26:30 +0100] rev 60782
eliminate the intermediate *_POS
wneuper <Walther.Neuper@jku.at> [Mon, 11 Dec 2023 16:18:42 +0100] rev 60781
repair settings ISABELLE_ISAC_TEST
wneuper <Walther.Neuper@jku.at> [Mon, 11 Dec 2023 16:12:53 +0100] rev 60780
PIDE turn 15: I_Model.T(_POS) stores Position.T for Specification