Thu, 22 Feb 2018 15:17:25 +0100 |
immler |
moved theorems from AFP/Affine_Arithmetic and AFP/Ordinary_Differential_Equations
|
file |
diff |
annotate
|
Thu, 07 Dec 2017 18:04:52 +0100 |
nipkow |
"important" annotations
|
file |
diff |
annotate
|
Thu, 07 Dec 2017 15:48:50 +0100 |
nipkow |
canonical name
|
file |
diff |
annotate
|
Wed, 06 Dec 2017 16:01:15 +0100 |
nipkow |
removed (un)important tags again to make latex happy
|
file |
diff |
annotate
|
Wed, 06 Dec 2017 15:17:05 +0100 |
nipkow |
initial version of Analysis document
|
file |
diff |
annotate
|
Sat, 04 Nov 2017 19:17:19 +0100 |
wenzelm |
prefer main entry points of HOL;
|
file |
diff |
annotate
|
Fri, 18 Aug 2017 20:47:47 +0200 |
wenzelm |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
file |
diff |
annotate
|
Mon, 17 Oct 2016 11:46:22 +0200 |
nipkow |
setsum -> sum
|
file |
diff |
annotate
|
Thu, 22 Sep 2016 15:44:47 +0100 |
paulson |
More mainly topological results
|
file |
diff |
annotate
|
Mon, 19 Sep 2016 20:06:21 +0200 |
fleury |
left_distrib ~> distrib_right, right_distrib ~> distrib_left
|
file |
diff |
annotate
|
Mon, 08 Aug 2016 14:13:14 +0200 |
hoelzl |
rename HOL-Multivariate_Analysis to HOL-Analysis.
|
file |
diff |
annotate
| base
|