| 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 |