Thu, 09 Nov 2000 21:38:30 +0100 | wenzelm | updated; | changeset | files |
Thu, 09 Nov 2000 21:38:00 +0100 | wenzelm | fixed \title: convert "_" to "-"; | changeset | files |
Wed, 08 Nov 2000 23:04:54 +0100 | wenzelm | tuned isabelle environment; | changeset | files |
Wed, 08 Nov 2000 17:46:24 +0100 | nipkow | subgoals | changeset | files |
Wed, 08 Nov 2000 14:38:04 +0100 | nipkow | *** empty log message *** | changeset | files |
Tue, 07 Nov 2000 18:38:24 +0100 | paulson | better discussion of rule induction | changeset | files |