| Mon, 25 Jun 2007 12:16:27 +0200 | krauss | removed "sum_tools.ML" in favour of BalancedTree | changeset | files |
| Mon, 25 Jun 2007 00:36:42 +0200 | wenzelm | added eta_long_conversion; | changeset | files |
| Mon, 25 Jun 2007 00:36:41 +0200 | wenzelm | added eta_long_tac; | changeset | files |
| Mon, 25 Jun 2007 00:36:40 +0200 | wenzelm | added reasonably efficient add_cterm_frees; | changeset | files |
| Mon, 25 Jun 2007 00:36:39 +0200 | wenzelm | made type conv pervasive; | changeset | files |
| Mon, 25 Jun 2007 00:36:38 +0200 | wenzelm | made type conv pervasive; | changeset | files |
| Mon, 25 Jun 2007 00:36:37 +0200 | wenzelm | Thm.eta_long_conversion; | changeset | files |