Wed, 17 Mar 1999 13:50:51 +0100 | wenzelm | rep_datatype: '_i' version, attributes, outer syntax; | changeset | files |
Wed, 17 Mar 1999 13:49:39 +0100 | wenzelm | local open OuterParse; | changeset | files |
Wed, 17 Mar 1999 13:49:14 +0100 | wenzelm | actually check non-emptiness theorem; | changeset | files |