| Sun, 15 Apr 2007 14:31:52 +0200 | wenzelm | load type_infer.ML early; | changeset | files |
| Sun, 15 Apr 2007 14:31:51 +0200 | wenzelm | adapted decode_type; | changeset | files |
| Sun, 15 Apr 2007 14:31:49 +0200 | wenzelm | proper ProofContext.infer_types; | changeset | files |