| Wed, 15 Nov 2006 17:05:47 +0100 | haftmann | corrected polymorphism check | changeset | files |
| Wed, 15 Nov 2006 17:05:46 +0100 | haftmann | clarified code for building function equation system; explicit check of type discipline | changeset | files |
| Wed, 15 Nov 2006 17:05:45 +0100 | haftmann | moved evaluation to Code_Generator.thy | changeset | files |