Wed, 14 Apr 2004 14:13:05 +0200 |
use more symbols in HTML output
|
file | diff | annotate |
Tue, 27 Aug 2002 11:03:05 +0200 |
*** empty log message ***
|
file | diff | annotate |
Thu, 20 Dec 2001 18:22:44 +0100 |
renamed rtrancl_into_rtrancl2 to converse_rtrancl_into_rtrancl
|
file | diff | annotate |
Wed, 19 Dec 2001 00:26:04 +0100 |
tuned;
|
file | diff | annotate |
Sun, 09 Dec 2001 15:26:13 +0100 |
tuned
|
file | diff | annotate |
Sun, 09 Dec 2001 14:35:36 +0100 |
converted to Isar
|
file | diff | annotate |
Sun, 16 Jul 2000 20:55:17 +0200 |
fixed tuple translations;
|
file | diff | annotate |
Tue, 04 Jul 2000 10:54:46 +0200 |
disambiguated := ; added Examples (factorial)
|
file | diff | annotate |
Wed, 24 Nov 1999 12:12:36 +0100 |
Basis now Main.
|
file | diff | annotate |
Fri, 13 Nov 1998 13:28:23 +0100 |
the type of @evalcn was wrong
|
file | diff | annotate |
Fri, 08 May 1998 15:45:01 +0200 |
fixed translations;
|
file | diff | annotate |
Wed, 06 May 1998 11:46:00 +0200 |
Changed [/] to [:=] and removed actual definition.
|
file | diff | annotate |
Mon, 30 Mar 1998 21:03:14 +0200 |
removed superfluous translations
|
file | diff | annotate |
Thu, 06 Jun 1996 14:39:44 +0200 |
Quotes now optional around inductive set
|
file | diff | annotate |
Mon, 29 Apr 1996 20:15:33 +0200 |
Streamlined syntax: -(n)-> is now -n->.
|
file | diff | annotate |
Mon, 29 Apr 1996 15:48:27 +0200 |
Natural and Transition semantics.
|
file | diff | annotate |