| Tue, 03 Jul 2007 17:17:09 +0200 | wenzelm | removed obsolete mk_conjunction_list, intr/elim_list; | changeset | files |
| Tue, 03 Jul 2007 17:17:09 +0200 | wenzelm | removed obsolete goals_conv (cf. prems_conv); | changeset | files |
| Tue, 03 Jul 2007 17:17:07 +0200 | wenzelm | Conjunction.intr/elim_balanced; | changeset | files |
| Tue, 03 Jul 2007 17:17:07 +0200 | wenzelm | CONVERSION tactical; | changeset | files |
| Tue, 03 Jul 2007 17:17:06 +0200 | wenzelm | Conjunction.mk_conjunction_balanced; | changeset | files |
| Tue, 03 Jul 2007 17:17:04 +0200 | wenzelm | CONVERSION tactical; | changeset | files |
| Tue, 03 Jul 2007 15:23:11 +0200 | nipkow | Fixed problem with patterns in lambdas | changeset | files |