Thu, 29 Sep 2005 15:50:45 +0200 | wenzelm | explicit dependencies of SAT vs. Refute; | changeset | files |
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 |