| Mon, 02 Oct 2006 23:00:57 +0200 | haftmann | improvements for code_gen | changeset | files |
| Mon, 02 Oct 2006 23:00:56 +0200 | haftmann | cleaned mess | changeset | files |
| Mon, 02 Oct 2006 23:00:53 +0200 | haftmann | added example for code_gen | changeset | files |
| Mon, 02 Oct 2006 23:00:52 +0200 | haftmann | dropped obsolete Theory.sign_of | changeset | files |
| Mon, 02 Oct 2006 23:00:51 +0200 | haftmann | tuned | changeset | files |
| Mon, 02 Oct 2006 23:00:50 +0200 | haftmann | added code generator names for nat_rec and nat_case | changeset | files |
| Mon, 02 Oct 2006 23:00:49 +0200 | haftmann | improved serialization for arbitrary | changeset | files |