Tue, 01 Aug 1995 17:20:42 +0200 | wenzelm | modified pretty_thm, standard, eq_thm to handle shyps; | changeset | files |
Tue, 01 Aug 1995 17:20:21 +0200 | wenzelm | modified prep_thm_axm to handle shyps; | changeset | files |
Tue, 01 Aug 1995 17:19:17 +0200 | wenzelm | added (my own version of) nonempty_sort: sg -> (string * sort) list -> sort | changeset | files |