| Thu, 19 Oct 2000 21:20:53 +0200 | wenzelm | declare sym [elim?] in HOL.ML instead of Calculation.thy; | changeset | files |
| Thu, 19 Oct 2000 21:20:07 +0200 | wenzelm | tuned \isasymuniqex; | changeset | files |
| Thu, 19 Oct 2000 21:18:15 +0200 | wenzelm | split over two files: induct_attrib.ML, induct_method.ML; | changeset | files |