| 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 |
| Fri, 23 Dec 2005 14:33:28 +0100 | haftmann | is_prefix | changeset | files |
| Thu, 22 Dec 2005 19:08:15 +0100 | haftmann | slight improvements | changeset | files |
| Thu, 22 Dec 2005 17:57:09 +0100 | nipkow | more lemmas | changeset | files |
| Thu, 22 Dec 2005 14:22:11 +0100 | paulson | shorter proof | changeset | files |