| Wed, 22 Aug 2012 22:55:41 +0200 | wenzelm | prefer ML_file over old uses; | file | diff | annotate |
| 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 |
| Sun, 20 Nov 2011 20:15:02 +0100 | wenzelm | eliminated obsolete "standard"; | file | diff | annotate |
| Mon, 16 Jun 2008 17:54:51 +0200 | wenzelm | converted ML proofs; | file | diff | annotate |
| Thu, 31 May 2007 12:06:31 +0200 | wenzelm | moved Integ files to canonical place; | file | diff | annotate |