| Mon, 02 Aug 2004 09:44:46 +0200 | ballarin | Theories now take advantage of recent syntax improvements with (structure). | file | diff | annotate |
| Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Thu, 22 Apr 2004 11:01:34 +0200 | wenzelm | improved notation; | file | diff | annotate |