Sat, 09 Jul 2016 13:26:16 +0200 |
haftmann |
more lemmas to emphasize {0::nat..(<)n} as canonical representation of intervals on nat
|
file |
diff |
annotate
|
Mon, 25 Apr 2016 16:09:26 +0200 |
wenzelm |
eliminated old 'def';
|
file |
diff |
annotate
|
Tue, 23 Feb 2016 16:25:08 +0100 |
nipkow |
more canonical names
|
file |
diff |
annotate
|
Wed, 13 Jan 2016 23:07:06 +0100 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
Fri, 08 Jan 2016 15:27:16 +0100 |
eberlm |
Tuned constant approximations
|
file |
diff |
annotate
|
Thu, 07 Jan 2016 14:37:17 +0100 |
Manuel Eberl |
Tuned approximations in Multivariate_Analysis
|
file |
diff |
annotate
|
Mon, 28 Dec 2015 01:28:28 +0100 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Tue, 17 Nov 2015 12:32:08 +0000 |
paulson |
Removed some legacy theorems; minor adjustments to simplification rules; new material on homotopic paths
|
file |
diff |
annotate
|
Tue, 03 Nov 2015 16:47:37 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
Wed, 30 Sep 2015 17:09:12 +0100 |
paulson |
Dead wood removal
|
file |
diff |
annotate
|
Wed, 10 Jun 2015 19:10:20 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
Fri, 03 Apr 2015 21:25:55 +0200 |
wenzelm |
rearranged sessions to save approx. 1min elapsed time, 5min CPU time;
|
file |
diff |
annotate
| base
|