Mercurial
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
branches
|
files
|
gz
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
tip
15 hours ago
paulson [Mon, 16 Jul 2018 23:33:38 +0100] rev 68645
default
tip
merged
15 hours ago
paulson <lp15@cam.ac.uk> [Mon, 16 Jul 2018 23:33:28 +0100] rev 68644
de-applying and simplifying proofs
src/HOL/Deriv.thy
src/HOL/Divides.thy
src/HOL/Nonstandard_Analysis/HDeriv.thy
src/HOL/Nonstandard_Analysis/HSeries.thy
21 hours ago
Manuel Eberl <eberlm@in.tum.de> [Mon, 16 Jul 2018 17:50:07 +0200] rev 68643
Tagged some more files in HOL-Analysis
src/HOL/Analysis/FPS_Convergence.thy
src/HOL/Analysis/Generalised_Binomial_Theorem.thy
src/HOL/Analysis/Harmonic_Numbers.thy
src/HOL/Analysis/Integral_Test.thy
src/HOL/Analysis/Summation_Tests.thy
24 hours ago
Manuel Eberl <eberlm@in.tum.de> [Mon, 16 Jul 2018 15:24:06 +0200] rev 68642
Made simproc for sqrt/root of numeral more robust
src/HOL/Transcendental.thy
31 hours ago
Andreas Lochbihler [Mon, 16 Jul 2018 08:32:27 +0200] rev 68641
merged
39 hours ago
Andreas Lochbihler [Sun, 15 Jul 2018 23:44:52 +0200] rev 68640
merged
NEWS
src/HOL/ROOT
39 hours ago
Andreas Lochbihler [Sun, 15 Jul 2018 23:44:38 +0200] rev 68639
more examples for Code_Lazy
NEWS
src/HOL/ROOT
src/HOL/ex/Code_Lazy_Demo.thy
40 hours ago
paulson <lp15@cam.ac.uk> [Sun, 15 Jul 2018 21:58:50 +0100] rev 68638
de-applying and meta-quantifying
src/HOL/Analysis/Interval_Integral.thy
src/HOL/Deriv.thy
src/HOL/Transcendental.thy
44 hours ago
paulson [Sun, 15 Jul 2018 18:22:31 +0100] rev 68637
merged
44 hours ago
paulson <lp15@cam.ac.uk> [Sun, 15 Jul 2018 18:22:22 +0100] rev 68636
more renaming fixes
src/Doc/Tutorial/Types/Numbers.thy
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
tip