| 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 |
| Tue, 17 Aug 1999 17:34:18 +0200 | wenzelm | remove tmp files; | changeset | files |
| Tue, 17 Aug 1999 17:33:47 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 17 Aug 1999 17:30:08 +0200 | wenzelm | renamed 'single' to 'some_rule'; | changeset | files |
| Tue, 17 Aug 1999 15:59:32 +0200 | wenzelm | renamed Cons to Consq in order to avoid clash with List.Cons; | changeset | files |
| Tue, 17 Aug 1999 14:01:39 +0200 | berghofe | Tuned some comments. | changeset | files |
| Tue, 17 Aug 1999 14:00:30 +0200 | berghofe | Path for remote theory browsing information is now stored in referece variable rpath. | changeset | files |
| Tue, 17 Aug 1999 11:51:12 +0200 | wenzelm | -m option; | changeset | files |
| Mon, 16 Aug 1999 22:08:23 +0200 | wenzelm | replaced "op #" by "Cons"; | changeset | files |
| Mon, 16 Aug 1999 22:07:12 +0200 | wenzelm | 'a list: Nil, Cons; | changeset | files |
| Mon, 16 Aug 1999 22:04:07 +0200 | wenzelm | tuned msg; | changeset | files |
| Mon, 16 Aug 1999 22:03:48 +0200 | wenzelm | disable_pr, enable_pr; | changeset | files |
| Mon, 16 Aug 1999 18:47:20 +0200 | paulson | deleted obsolete assignment | changeset | files |
| Mon, 16 Aug 1999 18:43:13 +0200 | paulson | restored a high precedence to unary minus | changeset | files |
| Mon, 16 Aug 1999 18:41:32 +0200 | paulson | inserted Id: lines | changeset | files |
| Mon, 16 Aug 1999 18:41:06 +0200 | paulson | new theory Real/Hyperreal/HyperDef and file fuf.ML | changeset | files |
| Mon, 16 Aug 1999 17:44:14 +0200 | oheimb | forgot to write back adaption of onlysimps | changeset | files |
| Mon, 16 Aug 1999 17:42:37 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 16 Aug 1999 17:38:52 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 16 Aug 1999 17:33:45 +0200 | oheimb | exchanged finish_tac and unsafe_finish_tac (the more important one) in simpset | changeset | files |
| Mon, 16 Aug 1999 17:24:28 +0200 | oheimb | re-added refl in safe_solver | changeset | files |
| Mon, 16 Aug 1999 16:44:47 +0200 | wenzelm | removed warn_theory_style; | changeset | files |
| Mon, 16 Aug 1999 16:44:24 +0200 | wenzelm | fixed thy_only; | changeset | files |
| Mon, 16 Aug 1999 15:15:14 +0200 | wenzelm | tuned prompts; | changeset | files |