| 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 |
| Fri, 10 Dec 2004 16:48:29 +0100 | berghofe | Moved code generator setup for product type to Product_Type.thy | changeset | files |
| Fri, 10 Dec 2004 16:48:01 +0100 | berghofe | New code generator for let and split. | changeset | files |