isabelle: Changelog

haftmann [Thu, 29 Oct 2020 18:23:28 +0000] rev 72516

unified Local_Theory.init with Generic_Target.init

haftmann [Thu, 29 Oct 2020 10:03:03 +0000] rev 72515

moved most material from session HOL-Word to Word_Lib in the AFP

haftmann [Thu, 29 Oct 2020 09:59:40 +0000] rev 72514

removed dependency

Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> [Wed, 28 Oct 2020 08:41:07 +0100] rev 72513

better handling of skolemization for Isar reconstruction in Sledgehammer for veriT

haftmann [Tue, 27 Oct 2020 16:59:44 +0000] rev 72512

more lemmas

wenzelm [Tue, 27 Oct 2020 22:34:37 +0100] rev 72511

clarified signature: overloaded "+" for Path.append;

wenzelm [Mon, 26 Oct 2020 21:35:39 +0100] rev 72510

NEWS;

wenzelm [Mon, 26 Oct 2020 21:02:51 +0100] rev 72509

updated to jdk-11.0.9+11;

haftmann [Mon, 26 Oct 2020 11:28:43 +0000] rev 72508

factored out theory Traditional_Syntax

paulson [Sun, 25 Oct 2020 22:46:17 +0000] rev 72507

merged

isabelle