| 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 |
| Sun, 15 Apr 2007 14:31:57 +0200 | wenzelm | moved get_sort to sign.ML; | changeset | files |
| Sun, 15 Apr 2007 14:31:56 +0200 | wenzelm | removed obsolete inferT_axm; | changeset | files |
| Sun, 15 Apr 2007 14:31:54 +0200 | wenzelm | removed obsolete infer_types(_simult); | changeset | files |