Sat, 17 Oct 2009 14:43:18 +0200 |
wenzelm |
eliminated hard tabulators, guessing at each author's individual tab-width;
|
file |
diff |
annotate
|
Wed, 26 Mar 2008 22:40:09 +0100 |
wenzelm |
rule swap: renamed Pa to P;
|
file |
diff |
annotate
|
Sun, 07 Oct 2007 21:19:31 +0200 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
Sun, 07 Oct 2007 15:49:25 +0200 |
wenzelm |
replaced some 'translations' by 'abbreviation';
|
file |
diff |
annotate
|
Mon, 09 Oct 2006 02:19:51 +0200 |
wenzelm |
attribute symmetric: zero_var_indexes;
|
file |
diff |
annotate
|
Thu, 15 Dec 2005 19:42:03 +0100 |
wenzelm |
improved proofs;
|
file |
diff |
annotate
|
Mon, 01 Aug 2005 19:20:26 +0200 |
wenzelm |
simprocs: Simplifier.inherit_bounds;
|
file |
diff |
annotate
|
Tue, 01 Feb 2005 18:01:57 +0100 |
paulson |
the new subst tactic, by Lucas Dixon
|
file |
diff |
annotate
|
Fri, 17 Sep 2004 16:08:52 +0200 |
paulson |
converted ZF/Induct/Multiset to Isar script
|
file |
diff |
annotate
|
Tue, 27 May 2003 11:39:03 +0200 |
paulson |
updating ZF-UNITY with Sidi's new material
|
file |
diff |
annotate
|
Fri, 15 Feb 2002 12:07:27 +0100 |
paulson |
a new definition of "restrict"
|
file |
diff |
annotate
|
Wed, 30 Jan 2002 12:22:40 +0100 |
paulson |
Multiset: added the translation Mult(A) => A-||>nat-{0}
|
file |
diff |
annotate
|
Sat, 29 Dec 2001 18:36:12 +0100 |
wenzelm |
tuned document sources;
|
file |
diff |
annotate
|
Wed, 07 Nov 2001 18:12:12 +0100 |
paulson |
Sidi Ehmety's port of the fold_set operator and multisets to ZF.
|
file |
diff |
annotate
|