| Wed, 19 May 2004 11:30:18 +0200 | paulson | more results about isomorphisms | file | diff | annotate |
| Fri, 14 May 2004 16:50:33 +0200 | paulson | removal of locale coset | file | diff | annotate |
| Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Fri, 23 Apr 2004 21:46:04 +0200 | wenzelm | improved notation; | file | diff | annotate |
| Thu, 22 Apr 2004 11:01:34 +0200 | wenzelm | improved notation; | file | diff | annotate |
| Thu, 08 Apr 2004 12:45:22 +0200 | paulson | some (much longer) structured proofs | file | diff | annotate |
| Thu, 06 Nov 2003 14:18:05 +0100 | ballarin | Isar/Locales: <loc>.intro and <loc>.axioms no longer intro? and elim? by | file | diff | annotate |