17 months ago nipkow [Wed, 20 Dec 2017 19:17:37 +0100] rev 67230
tuned op's
src/HOL/Tools/groebner.ML

17 months ago nipkow [Wed, 20 Dec 2017 14:53:34 +0100] rev 67229
tuned op's
src/HOL/Lifting.thy

17 months ago nipkow [Wed, 20 Dec 2017 12:22:36 +0100] rev 67228
tuned op's
src/HOL/Tools/ATP/atp_problem_generate.ML

17 months ago wenzelm [Wed, 20 Dec 2017 18:51:13 +0100] rev 67227
updated URL;
src/Doc/manual.bib

17 months ago wenzelm [Tue, 19 Dec 2017 13:58:12 +0100] rev 67226
isabelle update_cartouches -c -t;
src/HOL/Algebra/Complete_Lattice.thy src/HOL/Algebra/Lattice.thy src/HOL/Algebra/Multiplicative_Group.thy src/HOL/Analysis/Bounded_Linear_Function.thy src/HOL/Auth/Yahalom.thy src/HOL/Auth/Yahalom2.thy src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy src/HOL/Divides.thy src/HOL/Fun.thy src/HOL/Power.thy src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy src/HOL/Probability/Conditional_Expectation.thy src/HOL/Probability/Essential_Supremum.thy src/HOL/Probability/Giry_Monad.thy src/HOL/Probability/Probability_Mass_Function.thy src/HOL/Probability/Stopping_Time.thy src/HOL/Real.thy src/HOL/Rings.thy src/HOL/SMT_Examples/SMT_Examples.thy src/HOL/SMT_Examples/SMT_Tests.thy src/HOL/Topological_Spaces.thy src/HOL/ex/Perm_Fragments.thy

17 months ago blanchet [Tue, 19 Dec 2017 14:51:27 +0100] rev 67225
have 'try0' display results faster
src/HOL/Tools/try0.ML

17 months ago traytel [Mon, 18 Dec 2017 16:58:13 +0100] rev 67224
a conditional paramitrecity prover
CONTRIBUTORS NEWS src/HOL/Library/Conditional_Parametricity.thy src/HOL/Library/Library.thy src/HOL/Library/conditional_parametricity.ML src/HOL/ROOT src/HOL/ex/Conditional_Parametricity_Examples.thy

17 months ago traytel [Mon, 18 Dec 2017 11:56:12 +0100] rev 67223
removed debug output
src/HOL/Tools/BNF/bnf_def_tactics.ML

17 months ago traytel [Sun, 17 Dec 2017 08:42:59 +0100] rev 67222
made tactics more robust
src/HOL/Tools/BNF/bnf_def.ML src/HOL/Tools/BNF/bnf_def_tactics.ML

17 months ago wenzelm [Sat, 16 Dec 2017 22:32:04 +0100] rev 67221
tuned;
NEWS