| Tue, 17 Aug 1999 22:14:08 +0200 | wenzelm | removed HOL_quantifiers; | changeset | files |
| 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 |
| Tue, 17 Aug 1999 19:24:00 +0200 | berghofe | Better handling of path for remote theory browsing information. | changeset | files |
| Tue, 17 Aug 1999 17:52:04 +0200 | wenzelm | Goals.reset_goals; | changeset | files |
| Tue, 17 Aug 1999 17:51:35 +0200 | wenzelm | reset_goals; | changeset | files |
| Tue, 17 Aug 1999 17:34:43 +0200 | wenzelm | intro+; | changeset | files |