Tue, 04 Aug 1998 09:21:44 +0200 | wenzelm | tuned comments; | changeset | files |
Mon, 03 Aug 1998 10:37:34 +0200 | paulson | Better comments | changeset | files |
Mon, 03 Aug 1998 10:36:39 +0200 | paulson | New rewrite rules for quantification over bounded UNIONs | changeset | files |