| Tue, 09 Oct 2007 17:10:34 +0200 | wenzelm | AxClass.axiomatize: renamed XXX_i to XXX, and XXX to XXX_cmd; | file | diff | annotate |
| Sat, 06 Oct 2007 16:50:04 +0200 | wenzelm | simplified interfaces for outer syntax; | file | diff | annotate |
| Tue, 25 Sep 2007 17:06:14 +0200 | wenzelm | proper Sign operations instead of Theory aliases; | file | diff | annotate |
| Tue, 25 Sep 2007 13:28:37 +0200 | wenzelm | Syntax.parse/check/read; | file | diff | annotate |
| Thu, 31 May 2007 14:01:58 +0200 | wenzelm | moved HOLCF tools to canonical place; | file | diff | annotate |