Wed, 14 Jul 1999 13:32:21 +0200 | wenzelm | tuned; | changeset | files |
Wed, 14 Jul 1999 13:07:09 +0200 | wenzelm | tuned comments; | changeset | files |
Wed, 14 Jul 1999 13:06:08 +0200 | wenzelm | tuned contradiction method; | changeset | files |
Wed, 14 Jul 1999 13:05:46 +0200 | wenzelm | improved comment; | changeset | files |
Wed, 14 Jul 1999 13:05:28 +0200 | wenzelm | more marg_comments; | changeset | files |
Wed, 14 Jul 1999 12:28:12 +0200 | wenzelm | Deriving rules in Isabelle; | changeset | files |