Fri, 31 Mar 2000 21:56:23 +0200 | wenzelm | tuned; | changeset | files |
Fri, 31 Mar 2000 21:56:13 +0200 | wenzelm | params: preserve case names; | changeset | files |
Fri, 31 Mar 2000 21:55:51 +0200 | wenzelm | fixed indexing of elim rules; | changeset | files |
Fri, 31 Mar 2000 21:55:27 +0200 | wenzelm | use Attrib.add_del_args; | changeset | files |
Fri, 31 Mar 2000 21:54:50 +0200 | wenzelm | added add_del_args; | changeset | files |
Fri, 31 Mar 2000 18:10:21 +0200 | wenzelm | fixed goal syntax; | changeset | files |
Fri, 31 Mar 2000 10:23:15 +0200 | nipkow | comments modified | changeset | files |