| Sun, 15 Apr 2007 23:25:50 +0200 | wenzelm | removed obsolete TypeInfer.logicT -- use dummyT; | changeset | files |
| Sun, 15 Apr 2007 23:25:49 +0200 | wenzelm | avoid internal names; | changeset | files |
| Sun, 15 Apr 2007 14:32:55 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 15 Apr 2007 14:32:07 +0200 | wenzelm | legacy_infer_term/prop -- including intern_term; | changeset | files |