20 months ago wenzelm [Tue, 07 Nov 2017 17:16:53 +0100] rev 67028
clarified exclusion: operate on completed selection, as last step;
src/Pure/Thy/sessions.scala

20 months ago wenzelm [Tue, 07 Nov 2017 17:21:39 +0100] rev 67027
tuned;
src/Pure/Thy/sessions.scala

20 months ago wenzelm [Tue, 07 Nov 2017 16:50:26 +0100] rev 67026
tuned signature;
src/Pure/Admin/afp.scala src/Pure/Admin/build_doc.scala src/Pure/ML/ml_process.scala src/Pure/Thy/sessions.scala src/Pure/Tools/build.scala src/Pure/Tools/imports.scala src/Tools/jEdit/src/jedit_sessions.scala

20 months ago wenzelm [Tue, 07 Nov 2017 16:44:25 +0100] rev 67025
clarifified selection: always wrt. build_graph structure;
tuned signature;
src/Pure/Admin/afp.scala src/Pure/ML/ml_process.scala src/Pure/Thy/sessions.scala src/Pure/Tools/build.scala src/Pure/Tools/imports.scala

20 months ago wenzelm [Tue, 07 Nov 2017 15:50:36 +0100] rev 67024
tuned;
src/Pure/Thy/sessions.scala src/Tools/jEdit/src/jedit_sessions.scala

20 months ago wenzelm [Tue, 07 Nov 2017 15:45:33 +0100] rev 67023
tuned signature;
src/Pure/Admin/build_doc.scala src/Pure/Thy/sessions.scala src/Pure/Tools/imports.scala src/Tools/jEdit/src/jedit_sessions.scala

20 months ago blanchet [Tue, 07 Nov 2017 15:16:42 +0100] rev 67022
more robust parsing for THF proofs (esp. polymorphic Leo-III proofs)
src/HOL/Tools/ATP/atp_proof.ML src/HOL/Tools/ATP/atp_satallax.ML

20 months ago blanchet [Tue, 07 Nov 2017 15:16:41 +0100] rev 67021
integrated Leo-III in Sledgehammer (thanks to Alexander Steen for the patch)
src/Doc/Sledgehammer/document/root.tex src/Doc/manual.bib src/HOL/Tools/ATP/atp_proof.ML src/HOL/Tools/ATP/atp_systems.ML

20 months ago blanchet [Tue, 07 Nov 2017 15:16:40 +0100] rev 67020
added FIXMEs
src/HOL/Library/Multiset_Order.thy

20 months ago nipkow [Tue, 07 Nov 2017 14:52:27 +0100] rev 67019
Replaced { } proofs by local lemmas; added Hoare logic with logical variables.
src/HOL/IMP/Abs_Int3.thy src/HOL/IMP/Big_Step.thy src/HOL/IMP/Compiler2.thy src/HOL/IMP/Denotational.thy src/HOL/IMP/Hoare_Sound_Complete.thy src/HOL/IMP/Hoare_Total.thy src/HOL/IMP/Hoare_Total_EX.thy src/HOL/IMP/Hoare_Total_EX2.thy src/HOL/IMP/Live_True.thy src/HOL/IMP/VCG_Total_EX.thy src/HOL/IMP/VCG_Total_EX2.thy src/HOL/ROOT