wneuper <Walther.Neuper@jku.at> [Tue, 26 Jul 2022 19:29:09 +0200] rev 60489
prepare stepwise input to Example (1)
wneuper <Walther.Neuper@jku.at> [Tue, 26 Jul 2022 18:02:22 +0200] rev 60488
Test_Isac works again
wneuper <Walther.Neuper@jku.at> [Sat, 23 Jul 2022 20:05:25 +0200] rev 60487
//continued: investigate Outer_Syntax.command \<^command_keyword>?problem?
wneuper <Walther.Neuper@jku.at> [Wed, 20 Jul 2022 12:16:36 +0200] rev 60486
prepare demo for further development
wneuper <Walther.Neuper@jku.at> [Wed, 20 Jul 2022 11:56:45 +0200] rev 60485
question about Outer_Syntax.command \<^command_keyword>?Example?
wneuper <Walther.Neuper@jku.at> [Wed, 20 Jul 2022 11:48:38 +0200] rev 60484
investigate Outer_Syntax.command \<^command_keyword>?problem?
wneuper <Walther.Neuper@jku.at> [Wed, 20 Jul 2022 11:11:31 +0200] rev 60483
tuned
wneuper <Walther.Neuper@jku.at> [Thu, 23 Jun 2022 12:23:38 +0200] rev 60482
tuned
wneuper <Walther.Neuper@jku.at> [Wed, 22 Jun 2022 19:37:56 +0200] rev 60481
inspect Formalise.T
wneuper <Walther.Neuper@jku.at> [Wed, 22 Jun 2022 19:26:18 +0200] rev 60480
inspect SpecificationC.is_complete