Fri, 03 Dec 2010 20:38:58 +0100 |
wenzelm |
recoded latin1 as utf8;
|
file |
diff |
annotate
|
Fri, 03 Dec 2010 10:03:10 +0100 |
krauss |
eliminated unqualified accesses of datatype facts -- it seems like they all of them were unintended
|
file |
diff |
annotate
|
Fri, 23 Apr 2010 23:35:43 +0200 |
wenzelm |
mark schematic statements explicitly;
|
file |
diff |
annotate
|
Thu, 10 Dec 2009 17:34:18 +0000 |
paulson |
streamlined proofs
|
file |
diff |
annotate
|
Thu, 22 Oct 2009 09:27:48 +0200 |
nipkow |
inv_onto -> inv_into
|
file |
diff |
annotate
|
Sun, 18 Oct 2009 12:07:25 +0200 |
nipkow |
Inv -> inv_onto, inv abbr. inv_onto UNIV.
|
file |
diff |
annotate
|
Fri, 05 Oct 2007 08:38:09 +0200 |
nipkow |
added lemmas
|
file |
diff |
annotate
|
Fri, 14 Sep 2007 15:27:12 +0200 |
paulson |
tidied
|
file |
diff |
annotate
|
Tue, 04 Jul 2006 11:36:08 +0200 |
ballarin |
Typo.
|
file |
diff |
annotate
|
Tue, 13 Dec 2005 15:34:21 +0100 |
paulson |
meson no longer does these examples
|
file |
diff |
annotate
|
Wed, 20 Jul 2005 17:01:20 +0200 |
paulson |
revised examples
|
file |
diff |
annotate
|
Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
Wed, 02 Feb 2005 18:06:25 +0100 |
paulson |
tidying of some subst/simplesubst proofs
|
file |
diff |
annotate
|
Tue, 01 Feb 2005 18:01:57 +0100 |
paulson |
the new subst tactic, by Lucas Dixon
|
file |
diff |
annotate
|
Mon, 22 Nov 2004 11:54:08 +0100 |
nipkow |
fixed proof
|
file |
diff |
annotate
|
Mon, 12 Jan 2004 16:51:45 +0100 |
paulson |
Added lemmas to Ring_and_Field with slightly modified simplification rules
|
file |
diff |
annotate
|
Tue, 07 May 2002 14:27:39 +0200 |
wenzelm |
tuned presentation;
|
file |
diff |
annotate
|
Thu, 14 Mar 2002 16:48:34 +0100 |
paulson |
converted theory "set" to Isar and added some SET-VAR examples
|
file |
diff |
annotate
|
Wed, 21 Jun 2000 15:58:23 +0200 |
wenzelm |
fixed deps;
|
file |
diff |
annotate
|