| Thu, 11 Mar 1999 21:57:34 +0100 | wenzelm | named witnesses: PureThy.get_thmss; | changeset | files |
| Thu, 11 Mar 1999 21:56:22 +0100 | wenzelm | primrec: empty attributes; | changeset | files |
| Thu, 11 Mar 1999 21:55:23 +0100 | wenzelm | tuned opt_mixfix failure; | changeset | files |