Fri, 22 Oct 1993 13:35:15 +0100 | clasohm | changes for new Readthy | changeset | files |
Fri, 22 Oct 1993 11:42:02 +0100 | lcp | sample datatype defs now use datatype_intrs, datatype_elims | changeset | files |
Fri, 22 Oct 1993 11:34:41 +0100 | lcp | ZF/ind-syntax/fold_con_tac: deleted, since fold_tac now works | changeset | files |