| 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 |