| Tue, 16 Oct 2007 17:06:20 +0200 | wenzelm | tuned Const.the_abbreviation; | changeset | files |
| Tue, 16 Oct 2007 17:06:19 +0200 | wenzelm | misc cleanup of abbrev/local_const; | changeset | files |
| Tue, 16 Oct 2007 17:06:18 +0200 | wenzelm | added revert_abbrev; | changeset | files |
| Tue, 16 Oct 2007 17:06:15 +0200 | wenzelm | add_bind: close_schematic_term; | changeset | files |
| Tue, 16 Oct 2007 17:06:13 +0200 | wenzelm | tuned hidden_polymorphism; | changeset | files |
| Tue, 16 Oct 2007 17:06:11 +0200 | wenzelm | add_abbrev: removed Logic.legacy_varifyT, do not unvarify result (again); | changeset | files |