Walther Neuper <wneuper@ist.tugraz.at> [Tue, 25 Jun 2019 12:48:24 +0200] rev 59559
lucin: rename 3 main functions of lucase-interpreter.sml
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 25 Jun 2019 10:46:20 +0200] rev 59558
record hints from Isabelle mailing list
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 25 Jun 2019 10:27:14 +0200] rev 59557
lucin: shift "locate input tactic" into lucas-interpreter.sml"
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 24 Jun 2019 15:53:50 +0200] rev 59556
repair Test_Isac for previous change set
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 24 Jun 2019 14:44:51 +0200] rev 59555
lucin: shift "locate input formula" into lucas-interpreter.sml
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 24 Jun 2019 14:02:39 +0200] rev 59554
[-Test_Isac] lucin: shift "find next tactic" into lucas-interpreter.sml
Walther Neuper <wneuper@ist.tugraz.at> [Sun, 23 Jun 2019 14:44:00 +0200] rev 59553
introduce Test_Isac_Short.thy
Walther Neuper <wneuper@ist.tugraz.at> [Sun, 23 Jun 2019 14:23:09 +0200] rev 59552
funpack: remove remainings of Script, finished.
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 22 Jun 2019 14:34:06 +0200] rev 59551
funpack: remove code unnecessary after switch to partial_function, partially
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 22 Jun 2019 13:15:52 +0200] rev 59550
funpack: repair remaining test/../partial_fractions.sml, inverse_z_transform.sml