| Fri, 03 Jul 1998 17:35:39 +0200 | wenzelm | stepping stones: Recdef, Main; | changeset | files |
| Fri, 03 Jul 1998 17:34:55 +0200 | wenzelm | stepping stones; | changeset | files |
| Fri, 03 Jul 1998 17:34:24 +0200 | wenzelm | removed duplicate thms; | changeset | files |
| 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 |
| Fri, 03 Jul 1998 10:37:04 +0200 | nipkow | Removed leading !! in goals. | changeset | files |
| Fri, 03 Jul 1998 10:36:47 +0200 | nipkow | Removed leading !! in goals. | changeset | files |