Fri, 03 Nov 2006 14:22:44 +0100 | haftmann | tightened notion of function equations | changeset | files |
Fri, 03 Nov 2006 14:22:43 +0100 | haftmann | dropped name_mangler.ML | changeset | files |
Fri, 03 Nov 2006 14:22:42 +0100 | haftmann | some example tweaking | changeset | files |