| Sun, 12 Dec 2004 16:25:47 +0100 | nipkow | REorganized Finite_Set | changeset | files |
| Fri, 10 Dec 2004 22:33:16 +0100 | aspinall | Support PGIP <whitespace>, <dostep>, <doitem> elements as input | changeset | files |
| Fri, 10 Dec 2004 22:25:31 +0100 | aspinall | Insert pgmltext element into responses in PGIP mode | changeset | files |
| Fri, 10 Dec 2004 16:57:01 +0100 | berghofe | Added term cache to function condrew in order to speed up rewriting. | changeset | files |
| Fri, 10 Dec 2004 16:55:58 +0100 | berghofe | - Exported functions new_name and new_names | changeset | files |
| Fri, 10 Dec 2004 16:54:17 +0100 | berghofe | Fixed bug in mk_gen_of_def that could cause non-termination of the generator | changeset | files |
| Fri, 10 Dec 2004 16:50:20 +0100 | berghofe | Preprocessors now transfer theorems to current theory in order to | changeset | files |