Sat, 23 Apr 2011 13:00:19 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
Wed, 03 Mar 2010 00:33:02 +0100 | wenzelm | cleanup type translations; | file | diff | annotate |
Mon, 01 Mar 2010 13:40:23 +0100 | haftmann | replaced a couple of constsdefs by definitions (also some old primrecs by modern ones) | file | diff | annotate |
Tue, 03 Jan 2006 11:32:55 +0100 | haftmann | class now an keyword, quoted where necessary | file | diff | annotate |
Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
Fri, 25 Jul 2003 17:21:22 +0200 | nipkow | Replaced \<leadsto> by \<rightharpoonup> | file | diff | annotate |
Tue, 26 Feb 2002 15:45:32 +0100 | kleing | introduces SystemClasses and BVExample | file | diff | annotate |