| Sat, 04 Nov 2000 18:54:22 +0100 | wenzelm | updated; | changeset | files |
| Sat, 04 Nov 2000 18:44:34 +0100 | wenzelm | tuned method "rule" and "default"; | changeset | files |
| Sat, 04 Nov 2000 18:42:29 +0100 | wenzelm | isamarkup: handle % in input; | changeset | files |
| Sat, 04 Nov 2000 18:41:37 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 04 Nov 2000 18:39:44 +0100 | wenzelm | misc stuff; | changeset | files |
| Fri, 03 Nov 2000 21:35:59 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 03 Nov 2000 21:35:36 +0100 | wenzelm | proper setup of "parallel"; | changeset | files |
| Fri, 03 Nov 2000 21:34:22 +0100 | wenzelm | tuned notation; | changeset | files |
| Fri, 03 Nov 2000 21:33:53 +0100 | wenzelm | adapted "obtain" proofs; | changeset | files |
| Fri, 03 Nov 2000 21:33:15 +0100 | wenzelm | provide case names for rev_induct, rev_cases; | changeset | files |
| Fri, 03 Nov 2000 21:32:41 +0100 | wenzelm | rev_exhaust: rulify; | changeset | files |
| Fri, 03 Nov 2000 21:31:53 +0100 | wenzelm | removed atomic_Trueprop (now in Pure/Isar/auto_bind.ML); | changeset | files |
| Fri, 03 Nov 2000 21:31:11 +0100 | wenzelm | "atomize" for classical tactics; | changeset | files |
| Fri, 03 Nov 2000 21:29:56 +0100 | wenzelm | atomize: all automated tactics that "solve" goals; | changeset | files |