2004-05-21 | wenzelm | output_tym: removed duplicate clauses; | changeset | files |
2004-05-21 | wenzelm | Graph.minimals; | changeset | files |
2004-05-21 | wenzelm | adapted syntax to cope with lack of non-logical types; | changeset | files |
2004-05-21 | wenzelm | Type.typ_instance; | changeset | files |
2004-05-21 | wenzelm | load ML files only once; | changeset | files |
2004-05-21 | wenzelm | removed duplicate thms; | changeset | files |
Loading... |