| Sun, 15 Apr 2007 23:25:54 +0200 | wenzelm | removed obsolete redeclare_skolems; | changeset | files |
| Sun, 15 Apr 2007 23:25:52 +0200 | wenzelm | read prop as prop, not term; | changeset | files |
| Sun, 15 Apr 2007 23:25:50 +0200 | wenzelm | removed obsolete TypeInfer.logicT -- use dummyT; | changeset | files |