| 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 |