| Sat, 26 Mar 2011 12:01:40 +0100 | wenzelm | added Syntax.const_abs_tr' with proper eta_abs and Term.is_dependent; | changeset | files |
| Sat, 26 Mar 2011 10:52:29 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 26 Mar 2011 10:25:17 +0100 | wenzelm | dependent_tr': formal treatment of bounds after stripping Abs, although it should only happen for malformed terms, since print_translations work top-down; | changeset | files |