aspinall [Fri, 10 Dec 2004 22:33:16 +0100] rev 15401
Support PGIP <whitespace>, <dostep>, <doitem> elements as input
aspinall [Fri, 10 Dec 2004 22:25:31 +0100] rev 15400
Insert pgmltext element into responses in PGIP mode
berghofe [Fri, 10 Dec 2004 16:57:01 +0100] rev 15399
Added term cache to function condrew in order to speed up rewriting.
berghofe [Fri, 10 Dec 2004 16:55:58 +0100] rev 15398
- Exported functions new_name and new_names
- Fixed incompatible signatures problem in unfold_attr
berghofe [Fri, 10 Dec 2004 16:54:17 +0100] rev 15397
Fixed bug in mk_gen_of_def that could cause non-termination of the generator
for datatypes with nested recursion (such as trie).
berghofe [Fri, 10 Dec 2004 16:50:20 +0100] rev 15396
Preprocessors now transfer theorems to current theory in order to
avoid "incompatible signatures" exception.