| Fri, 23 Dec 2005 15:16:48 +0100 | wenzelm | added mk_conjunction_list2; | changeset | files |
| Fri, 23 Dec 2005 15:16:46 +0100 | wenzelm | conj_elim_precise: proper treatment of nested conjunctions; | changeset | files |
| Fri, 23 Dec 2005 15:16:46 +0100 | wenzelm | Thm.compose_no_flatten; | changeset | files |
| Fri, 23 Dec 2005 15:16:44 +0100 | wenzelm | proper treatment of nested conjunctions, i.e. simultaneous goals and mutual rules; | changeset | files |