| Thu, 28 Jul 2005 15:20:00 +0200 | wenzelm | added add_tfreesT, add_tfrees; | changeset | files |
| Thu, 28 Jul 2005 15:19:59 +0200 | wenzelm | norm_hhf_rule: Thm.adjust_maxidx_thm before Drule.gen_all; | changeset | files |
| Thu, 28 Jul 2005 15:19:58 +0200 | wenzelm | added add_const_constraint(_i), const_constraint; | changeset | files |