Thu, 08 Nov 2001 00:26:06 +0100 | wenzelm | more explanations on advanced syntax; | file | diff | annotate |
Wed, 07 Nov 2001 18:17:16 +0100 | wenzelm | added structures; | file | diff | annotate |
Tue, 06 Nov 2001 23:45:58 +0100 | wenzelm | Locales and simple mathematical structures; | file | diff | annotate |