Thu, 21 Jun 2007 20:07:26 +0200 | wenzelm | tuned proofs -- avoid implicit prems; | file | diff | annotate |
Wed, 06 Jun 2007 19:12:59 +0200 | nipkow | changed filter syntax from : to <- | file | diff | annotate |
Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
Wed, 04 Aug 2004 19:09:58 +0200 | nipkow | proof mod | file | diff | annotate |
Tue, 16 Jul 2002 18:26:09 +0200 | wenzelm | adapted to locale defs; | file | diff | annotate |
Tue, 30 Apr 2002 13:00:29 +0200 | kleing | tuned | file | diff | annotate |
Thu, 04 Apr 2002 16:48:00 +0200 | kleing | flattened, uses locales | file | diff | annotate |