| Tue, 13 Dec 2005 15:34:21 +0100 | paulson | meson no longer does these examples | changeset | files |
| Tue, 13 Dec 2005 15:34:02 +0100 | paulson | now generates the name "append" | changeset | files |
| Tue, 13 Dec 2005 15:27:43 +0100 | paulson | removal of functional reflexivity axioms | changeset | files |
| Tue, 13 Dec 2005 10:39:32 +0100 | berghofe | list_of_indset now also generates code for set type. | changeset | files |
| Mon, 12 Dec 2005 17:24:06 +0100 | haftmann | added generic name mangler | changeset | files |
| Mon, 12 Dec 2005 15:37:35 +0100 | haftmann | improvement in eq handling | changeset | files |
| Mon, 12 Dec 2005 15:37:05 +0100 | haftmann | improvements in class and eq handling | changeset | files |