| Fri, 10 Mar 2017 13:47:35 +0100 |
haftmann |
restored surj as output abbreviation, amending 6af79184bef3
|
file |
diff |
annotate
|
| Sun, 29 Jan 2017 17:27:02 +0100 |
wenzelm |
added inj_def (redundant, analogous to surj_def, bij_def);
|
file |
diff |
annotate
|
| Sun, 29 Jan 2017 13:58:03 +0100 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Tue, 02 Aug 2016 22:36:53 +0200 |
wenzelm |
tuned proof;
|
file |
diff |
annotate
|
| Tue, 02 Aug 2016 21:05:34 +0200 |
wenzelm |
misc tuning and modernization;
|
file |
diff |
annotate
|
| Mon, 01 Aug 2016 22:11:29 +0200 |
wenzelm |
misc tuning and modernization;
|
file |
diff |
annotate
|
| Fri, 29 Jul 2016 09:49:23 +0200 |
Andreas Lochbihler |
add lemmas contributed by Peter Gammie
|
file |
diff |
annotate
|
| Fri, 08 Jul 2016 23:43:11 +0200 |
haftmann |
avoid to hide equality behind (output) abbreviation
|
file |
diff |
annotate
|
| Tue, 05 Jul 2016 23:39:49 +0200 |
wenzelm |
misc tuning and modernization;
|
file |
diff |
annotate
|
| Sat, 02 Jul 2016 08:41:05 +0200 |
haftmann |
more theorems
|
file |
diff |
annotate
|
| Mon, 20 Jun 2016 17:51:47 +0200 |
wenzelm |
prefer HOL definitions;
|
file |
diff |
annotate
|
| Mon, 20 Jun 2016 17:25:08 +0200 |
wenzelm |
tuned proof;
|
file |
diff |
annotate
|
| Mon, 20 Jun 2016 17:03:50 +0200 |
wenzelm |
misc tuning and modernization;
|
file |
diff |
annotate
|
| Mon, 09 May 2016 16:02:23 +0100 |
paulson |
renamings and refinements
|
file |
diff |
annotate
|
| Mon, 04 Apr 2016 16:52:56 +0100 |
paulson |
Mostly renaming (from HOL Light to Isabelle conventions), with a couple of new results
|
file |
diff |
annotate
|
| Mon, 14 Mar 2016 14:19:06 +0000 |
paulson |
Refactoring (moving theorems into better locations), plus a bit of new material
|
file |
diff |
annotate
|
| Tue, 23 Feb 2016 16:25:08 +0100 |
nipkow |
more canonical names
|
file |
diff |
annotate
|
| Mon, 28 Dec 2015 21:47:32 +0100 |
wenzelm |
former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";
|
file |
diff |
annotate
|
| Mon, 07 Dec 2015 10:38:04 +0100 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2015 15:23:34 +0000 |
paulson |
New theorems mostly from Peter Gammie
|
file |
diff |
annotate
|
| Wed, 11 Nov 2015 09:48:24 +0100 |
Andreas Lochbihler |
add various lemmas
|
file |
diff |
annotate
|
| Tue, 27 Oct 2015 15:17:02 +0000 |
paulson |
Cauchy's integral formula, required lemmas, and a bit of reorganisation
|
file |
diff |
annotate
|
| Fri, 09 Oct 2015 20:26:03 +0200 |
wenzelm |
discontinued specific HTML syntax;
|
file |
diff |
annotate
|
| Mon, 21 Sep 2015 19:52:13 +0100 |
paulson |
new lemmas and movement of lemmas into place
|
file |
diff |
annotate
|
| Thu, 13 Aug 2015 10:05:58 +0200 |
haftmann |
more lemmas
|
file |
diff |
annotate
|
| Sat, 18 Jul 2015 22:58:50 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Tue, 26 May 2015 21:58:04 +0100 |
paulson |
New material about paths, and some lemmas
|
file |
diff |
annotate
|
| Wed, 11 Feb 2015 13:47:48 +0100 |
Andreas Lochbihler |
add lemmas about bind and image
|
file |
diff |
annotate
|
| Wed, 11 Feb 2015 12:01:56 +0000 |
paulson |
Merge
|
file |
diff |
annotate
|
| Tue, 10 Feb 2015 16:08:11 +0000 |
paulson |
New lemmas and a bit of tidying up.
|
file |
diff |
annotate
|