wneuper <Walther.Neuper@jku.at> [Tue, 31 May 2022 17:33:02 +0200] rev 60442
Calculation 3: Demo_Example stored in Theory_Data
wneuper <Walther.Neuper@jku.at> [Tue, 31 May 2022 16:21:22 +0200] rev 60441
cleanup
wneuper <Walther.Neuper@jku.at> [Tue, 31 May 2022 11:00:15 +0200] rev 60440
cleanup
wneuper <Walther.Neuper@jku.at> [Tue, 31 May 2022 10:17:11 +0200] rev 60439
cleanup
wneuper <Walther.Neuper@jku.at> [Tue, 31 May 2022 09:57:15 +0200] rev 60438
Calculation 2: Demo_Example without ML code
wneuper <Walther.Neuper@jku.at> [Tue, 31 May 2022 09:36:02 +0200] rev 60437
Calculation 1''': remove test-code from previous changeset 1c8263e775d4
wneuper <Walther.Neuper@jku.at> [Tue, 31 May 2022 09:16:12 +0200] rev 60436
Calculation 1'': ERROR in Demo_Example.thy, questions in TODO.md
wneuper <Walther.Neuper@jku.at> [Sun, 29 May 2022 19:05:14 +0200] rev 60435
Calculation 1': include Demo_Example into build
wneuper <Walther.Neuper@jku.at> [Sun, 29 May 2022 19:00:35 +0200] rev 60434
Calculation 1: minimal changes in code + application
wneuper <Walther.Neuper@jku.at> [Sun, 29 May 2022 12:17:09 +0200] rev 60433
start Calculation by use of Makarius' "problem" as boilerplate + add files