| Thu, 18 May 2000 11:43:57 +0200 | wenzelm | fewer consts declared as global; | file | diff | annotate |
| Wed, 18 Aug 1999 18:44:20 +0200 | paulson | from Konrad: support for schematic definitions | file | diff | annotate |
| Fri, 23 Apr 1999 12:23:21 +0200 | paulson | Now for recdefs that omit the WF relation; | file | diff | annotate |