Fri, 03 Jul 1998 17:33:47 +0200 | wenzelm | moved String theory to main HOL; | changeset | files |
Fri, 03 Jul 1998 11:02:01 +0200 | berghofe | Removed disjE from list of rules used to simplify elimination | changeset | files |
Fri, 03 Jul 1998 10:55:32 +0200 | nipkow | Removed leading !! in goals | changeset | files |