Walther Neuper <walther.neuper@jku.at> [Tue, 03 Sep 2019 15:24:24 +0200] rev 59604
final isabisac18 on Isabelle2018
Walther Neuper <walther.neuper@jku.at> [Tue, 03 Sep 2019 12:40:27 +0200] rev 59603
lucin: reorganise theories in ProgLang
note: this introduced: exception Size raised (line 169 of "./basis/LibrarySupport.sml")
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 29 Aug 2019 13:52:47 +0200] rev 59602
prep. re-organisation of thys in ProgLang
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 29 Aug 2019 10:59:57 +0200] rev 59601
separate Prog_Tac.thy
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 28 Aug 2019 11:21:26 +0200] rev 59600
reorganised MathEngine/ BridgeLibisabelle/
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 28 Aug 2019 07:08:25 +0200] rev 59599
collect code with explicit reference to "Input_Descript".thy
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 27 Aug 2019 18:05:54 +0200] rev 59598
revert comments cf.8e357be69082
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 27 Aug 2019 18:03:33 +0200] rev 59597
assign Input_Descript to Specify/-phase
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 27 Aug 2019 15:32:38 +0200] rev 59596
tuned
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 27 Aug 2019 15:31:45 +0200] rev 59595
[-Test_Isac ONLY biegelinie-1.sml] assign Input_Descript to Specify/-phase