Tue, 06 Mar 2012 17:01:37 +0000 |
paulson |
More mathematical symbols for ZF examples
|
file |
diff |
annotate
|
Sat, 17 Oct 2009 14:43:18 +0200 |
wenzelm |
eliminated hard tabulators, guessing at each author's individual tab-width;
|
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
|
Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
Thu, 10 Jul 2003 17:14:41 +0200 |
paulson |
Changed many Intersection rules from i:I to I~=0 to avoid introducing a new
|
file |
diff |
annotate
|
Wed, 09 Jul 2003 11:39:34 +0200 |
paulson |
converting more theories to Isar scripts, and tidying
|
file |
diff |
annotate
|
Wed, 28 May 2003 18:13:41 +0200 |
paulson |
some new ZF/UNITY material from Sidi Ehmety
|
file |
diff |
annotate
|