| Thu, 15 Mar 2012 16:35:02 +0000 |
paulson |
replacing ":" by "\<in>"
|
file |
diff |
annotate
|
| Tue, 06 Mar 2012 16:06:52 +0000 |
paulson |
Using mathematical notation for <-> and cardinal arithmetic
|
file |
diff |
annotate
|
| Tue, 06 Mar 2012 15:15:49 +0000 |
paulson |
mathematical symbols instead of ASCII
|
file |
diff |
annotate
|
| Sat, 13 Mar 2010 16:44:12 +0100 |
wenzelm |
removed old CVS Ids;
|
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
|
| Thu, 31 May 2007 12:06:31 +0200 |
wenzelm |
moved Integ files to canonical place;
|
file |
diff |
annotate
|
| Tue, 06 Feb 1996 12:27:17 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
| Sat, 09 Dec 1995 13:36:11 +0100 |
clasohm |
removed quotes from consts and syntax sections
|
file |
diff |
annotate
|
| Thu, 22 Jun 1995 17:13:05 +0200 |
clasohm |
removed \...\ inside strings
|
file |
diff |
annotate
|
| Tue, 29 Nov 1994 00:31:31 +0100 |
lcp |
replaced "rules" by "defs"
|
file |
diff |
annotate
|
| Tue, 16 Aug 1994 19:06:14 +0200 |
lcp |
ZF/ex/Equiv.thy,.ML: moved to main directory as EquivClass.thy,.ML
|
file |
diff |
annotate
|