Thu, 29 Sep 2005 15:50:44 +0200 | wenzelm | explicit dependencies of SAT vs. Refute; | changeset | files |
Thu, 29 Sep 2005 15:50:43 +0200 | wenzelm | Isabelle2005 (October 2005); | changeset | files |
Thu, 29 Sep 2005 15:31:34 +0200 | nipkow | Added a few lemmas | changeset | files |