| Mon, 05 Aug 2002 21:17:45 +0200 | wenzelm | protect simplifier operation against spurious exceptions from simprocs; | changeset | files |
| Mon, 05 Aug 2002 21:17:04 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 05 Aug 2002 21:16:36 +0200 | wenzelm | special syntax for index "1" (plain numeral hidden by "1" symbol in HOL); | changeset | files |