Thu, 16 Feb 1995 08:55:15 +0100 |
nipkow |
Improved test for looping rewrite rules.
|
changeset |
files
|
Wed, 15 Feb 1995 20:02:47 +0100 |
regensbu |
replaced pair_ss by prod_ss
|
changeset |
files
|
Wed, 08 Feb 1995 11:30:00 +0100 |
nipkow |
Improved check for looping conditional rewrite rules.
|
changeset |
files
|
Tue, 07 Feb 1995 17:36:48 +0100 |
regensbu |
ID for the file
|
changeset |
files
|
Tue, 07 Feb 1995 17:35:49 +0100 |
regensbu |
ID for the file
|
changeset |
files
|
Tue, 07 Feb 1995 17:30:34 +0100 |
regensbu |
'get ID update working'
|
changeset |
files
|
Tue, 07 Feb 1995 17:26:32 +0100 |
regensbu |
CVS:
|
changeset |
files
|
Tue, 07 Feb 1995 17:25:31 +0100 |
regensbu |
CVS:
|
changeset |
files
|
Tue, 07 Feb 1995 11:59:32 +0100 |
clasohm |
added qed, qed_goal[w]
|
changeset |
files
|
Fri, 03 Feb 1995 12:32:14 +0100 |
clasohm |
added specification of csh as script interpreter
|
changeset |
files
|
Thu, 02 Feb 1995 13:11:51 +0100 |
clasohm |
simplified elimination of chain productions
|
changeset |
files
|
Fri, 27 Jan 1995 13:40:07 +0100 |
wenzelm |
binder: optional body pri now [bracketted];
|
changeset |
files
|
Fri, 27 Jan 1995 13:35:29 +0100 |
wenzelm |
improved read_xrules: patterns no longer read twice;
|
changeset |
files
|
Fri, 27 Jan 1995 13:33:52 +0100 |
wenzelm |
*** empty log message ***
|
changeset |
files
|
Fri, 27 Jan 1995 13:31:26 +0100 |
wenzelm |
instance: now automatically includes defs of current thy node as witnesses;
|
changeset |
files
|