| Fri, 05 Oct 2001 21:49:15 +0200 | wenzelm | added axclass "one" and polymorphic const "1"; | changeset | files |
| Fri, 05 Oct 2001 21:48:04 +0200 | wenzelm | added "num" token; | changeset | files |
| Fri, 05 Oct 2001 21:42:10 +0200 | wenzelm | induct: case names; | changeset | files |
| 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 |