Wed, 01 Dec 2010 13:09:08 +0100 | wenzelm | just one Term.dest_funT; | changeset | files |
Wed, 01 Dec 2010 11:32:24 +0100 | wenzelm | activate subtyping/coercions in theory Complex_Main; | changeset | files |
Wed, 01 Dec 2010 11:06:01 +0100 | wenzelm | simplified equality on pairs of types; | changeset | files |