Walther Neuper <wneuper@ist.tugraz.at> [Tue, 06 Feb 2018 15:20:52 +0100] rev 59344
Isabelle2015->17: theory formad changed
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 06 Feb 2018 15:16:43 +0100] rev 59343
Isabelle2015->17: thm created by fun definition changed
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 06 Feb 2018 15:13:08 +0100] rev 59342
Isabelle2015->17: theorem identifiers changed
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 06 Feb 2018 11:50:40 +0100] rev 59341
------ connect libisabelle with Isac
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 06 Feb 2018 11:43:24 +0100] rev 59340
------ copy in libisabelle
files created according to
http://www.ist.tugraz.at/isac/Update_Isabelle_version#Step_3:_Copy_libisabelle_into_the_installation
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 03 Feb 2018 11:49:26 +0100] rev 59339
comment by Makarius
Re: [isabelle] A mystery of resolution. Fri, 2 Feb 2018 15:46:36 +0100
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 20 Jan 2018 16:53:23 +0100] rev 59338
------ Interpret/Interpret.thy builds again
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 20 Jan 2018 16:39:22 +0100] rev 59337
------ PolyML.makestring discontinued
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 20 Jan 2018 16:35:32 +0100] rev 59336
------ print_depth became a configuration option
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 20 Jan 2018 15:46:26 +0100] rev 59335
------ eq_thy changes to other module