| Thu, 19 Oct 2000 21:22:05 +0200 | wenzelm | added theory for HOL type definitions; | changeset | files |
| Thu, 19 Oct 2000 21:21:41 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 19 Oct 2000 21:21:20 +0200 | wenzelm | added Tools/induct_attrib.ML; | changeset | files |
| Thu, 19 Oct 2000 21:20:53 +0200 | wenzelm | declare sym [elim?] in HOL.ML instead of Calculation.thy; | changeset | files |