nipkow [Mon, 13 Dec 2004 17:44:52 +0100] rev 15406
*** empty log message ***
nipkow [Mon, 13 Dec 2004 17:07:47 +0100] rev 15405
added find_rewrites
paulson [Mon, 13 Dec 2004 15:06:59 +0100] rev 15404
removal of NatArith.ML and Product_Type.ML
aspinall [Mon, 13 Dec 2004 14:31:02 +0100] rev 15403
Fix pgmlsymbolson/off.
nipkow [Sun, 12 Dec 2004 16:25:47 +0100] rev 15402
REorganized Finite_Set
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.
berghofe [Fri, 10 Dec 2004 16:48:29 +0100] rev 15395
Moved code generator setup for product type to Product_Type.thy