| Wed, 15 Feb 2006 21:34:55 +0100 | wenzelm | removed distinct, renamed gen_distinct to distinct; | changeset | files |
| Wed, 15 Feb 2006 19:11:10 +0100 | urbanc | added lemma pt_perm_compose' | changeset | files |
| Wed, 15 Feb 2006 19:01:09 +0100 | nipkow | got rid of superfluous linorder_neqE-instance for int. | changeset | files |
| Wed, 15 Feb 2006 18:10:09 +0100 | webertj | typo in a comment fixed | changeset | files |
| Wed, 15 Feb 2006 17:09:45 +0100 | haftmann | exported some interfaces useful for other code generator approaches | changeset | files |
| Wed, 15 Feb 2006 17:09:25 +0100 | haftmann | some fixes | changeset | files |
| Wed, 15 Feb 2006 17:09:06 +0100 | haftmann | exported specifications_of | changeset | files |
| Tue, 14 Feb 2006 17:07:48 +0100 | haftmann | added theory of executable rational numbers | changeset | files |