Wed, 14 Apr 2004 14:13:05 +0200 | kleing | use more symbols in HTML output | file | diff | annotate |
Wed, 19 Dec 2001 00:26:04 +0100 | wenzelm | tuned; | file | diff | annotate |
Sun, 09 Dec 2001 14:35:36 +0100 | kleing | converted to Isar | file | diff | annotate |
Tue, 04 Jul 2000 10:54:46 +0200 | oheimb | disambiguated := ; added Examples (factorial) | file | diff | annotate |
Tue, 30 Jun 1998 20:51:15 +0200 | berghofe | Adapted to new inductive definition package. | file | diff | annotate |
Wed, 06 May 1998 11:46:00 +0200 | nipkow | Changed [/] to [:=] and removed actual definition. | file | diff | annotate |
Thu, 06 Jun 1996 14:39:44 +0200 | paulson | Quotes now optional around inductive set | file | diff | annotate |
Mon, 29 Apr 1996 15:48:27 +0200 | nipkow | Natural and Transition semantics. | file | diff | annotate |