Tue, 17 Aug 1999 22:14:02 +0200 | wenzelm | HOL_quantifiers; | changeset | files |
Tue, 17 Aug 1999 22:13:23 +0200 | wenzelm | replaced HOL_quantifiers flag by "HOL" print mode; | changeset | files |
Tue, 17 Aug 1999 22:11:05 +0200 | wenzelm | turned SVC_Oracle into a new-style theory in order to get automatic | changeset | files |