| Tue, 19 Jul 2005 17:21:55 +0200 | wenzelm | tuned defs interface; | changeset | files |
| Tue, 19 Jul 2005 17:21:54 +0200 | wenzelm | moved incr_tvar to logic.ML; | changeset | files |
| Tue, 19 Jul 2005 17:21:53 +0200 | wenzelm | tuned norm_sort, mg_domain; | changeset | files |