Sun, 16 Jul 2000 20:55:17 +0200 |
wenzelm |
fixed tuple translations;
|
file |
diff |
annotate
|
Tue, 04 Jul 2000 10:54:46 +0200 |
oheimb |
disambiguated := ; added Examples (factorial)
|
file |
diff |
annotate
|
Wed, 24 Nov 1999 12:12:36 +0100 |
nipkow |
Basis now Main.
|
file |
diff |
annotate
|
Fri, 13 Nov 1998 13:28:23 +0100 |
paulson |
the type of @evalcn was wrong
|
file |
diff |
annotate
|
Fri, 08 May 1998 15:45:01 +0200 |
wenzelm |
fixed translations;
|
file |
diff |
annotate
|
Wed, 06 May 1998 11:46:00 +0200 |
nipkow |
Changed [/] to [:=] and removed actual definition.
|
file |
diff |
annotate
|
Mon, 30 Mar 1998 21:03:14 +0200 |
oheimb |
removed superfluous translations
|
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 20:15:33 +0200 |
nipkow |
Streamlined syntax: -(n)-> is now -n->.
|
file |
diff |
annotate
|
Mon, 29 Apr 1996 15:48:27 +0200 |
nipkow |
Natural and Transition semantics.
|
file |
diff |
annotate
|