| Sun, 15 Apr 2007 14:32:07 +0200 | wenzelm | legacy_infer_term/prop -- including intern_term; | changeset | files |
| Sun, 15 Apr 2007 14:32:05 +0200 | wenzelm | Thm.plain_prop_of; | changeset | files |
| Sun, 15 Apr 2007 14:32:04 +0200 | wenzelm | added decode_types (from type_infer.ML); | changeset | files |
| Sun, 15 Apr 2007 14:32:03 +0200 | wenzelm | added read_term; | changeset | files |
| Sun, 15 Apr 2007 14:32:02 +0200 | wenzelm | added mixfixT (from type_infer.ML); | changeset | files |
| Sun, 15 Apr 2007 14:32:01 +0200 | wenzelm | proper interface infer_types(_pat); | changeset | files |
| Sun, 15 Apr 2007 14:32:00 +0200 | wenzelm | Thm.fold_terms; | changeset | files |
| Sun, 15 Apr 2007 14:31:59 +0200 | wenzelm | removed unused Output.panic hook -- internal to PG wrapper; | changeset | files |