| Fri, 05 Oct 2001 21:37:33 +0200 | wenzelm | sane spacing of "-"; | changeset | files |
| Fri, 05 Oct 2001 16:04:56 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 04 Oct 2001 23:27:42 +0200 | wenzelm | Thm.major_prem_of part of Logic.strip_assums_concl; | changeset | files |
| Thu, 04 Oct 2001 23:27:01 +0200 | wenzelm | major_prem_of: Logic.strip_assums_concl; | changeset | files |