| Tue, 17 Aug 1999 22:19:48 +0200 | wenzelm | ThyInfo.may_load_file; | changeset | files |
| Tue, 17 Aug 1999 22:19:25 +0200 | wenzelm | begin_update_theory; | changeset | files |
| Tue, 17 Aug 1999 22:16:21 +0200 | wenzelm | PASS(_MODE): works better without space (why?); | changeset | files |
| 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 |