Walther Neuper <wneuper@ist.tugraz.at> [Thu, 08 Feb 2018 13:20:40 +0100] rev 59359
Isabelle2015->17: test setup for calculate
an error in ML_file "ProgLang/termC.sml" has been encountered.
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 08 Feb 2018 12:49:52 +0100] rev 59358
Isabelle2015->17: thm changed
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 07 Feb 2018 15:00:37 +0100] rev 59357
Isabelle2015->17: new negation "~ " --> "<not> "
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 07 Feb 2018 13:06:27 +0100] rev 59356
Isabelle2015->17: test setup for ADDTESTS/All_Ctxt, fst error in "ProgLang/termC.sml"
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 07 Feb 2018 12:51:53 +0100] rev 59355
tuned
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 07 Feb 2018 11:27:38 +0100] rev 59354
Isabelle2015->17: session identifiers enforced now
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 07 Feb 2018 11:21:54 +0100] rev 59353
Isabelle2015->17: header in thys dropped
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 07 Feb 2018 10:24:16 +0100] rev 59352
Isabelle2015->17: session identifiers enforced now
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 06 Feb 2018 16:59:09 +0100] rev 59351
sabelle2015->17: too many changes in Polynomial.thy
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 06 Feb 2018 16:55:43 +0100] rev 59350
Isabelle2015->17: syntax handling has changed