| Wed, 27 Dec 2006 19:09:57 +0100 | haftmann | moved code generator product setup here | changeset | files |
| Wed, 27 Dec 2006 19:09:56 +0100 | haftmann | added code generator test theory | changeset | files |
| Wed, 27 Dec 2006 19:09:55 +0100 | haftmann | explizit serialization for Haskell id | changeset | files |
| Wed, 27 Dec 2006 19:09:54 +0100 | haftmann | removed code generation stuff belonging to other theories | changeset | files |