| Thu, 29 Sep 2005 19:37:20 +0200 | wenzelm | refer to $PRG instead of (old) rsync-isabelle; | changeset | files |
| Thu, 29 Sep 2005 18:01:12 +0200 | wenzelm | updated; | changeset | files |
| Thu, 29 Sep 2005 17:09:11 +0200 | wenzelm | updated; | changeset | files |
| Thu, 29 Sep 2005 17:08:52 +0200 | wenzelm | pdfsetup.sty: better not rely on ifpdf.sty; | changeset | files |
| Thu, 29 Sep 2005 17:02:57 +0200 | paulson | simprules need names | changeset | files |
| Thu, 29 Sep 2005 15:50:46 +0200 | wenzelm | export debug_bounds; | changeset | files |
| 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 |
| Thu, 29 Sep 2005 15:31:34 +0200 | nipkow | Added a few lemmas | changeset | files |
| Thu, 29 Sep 2005 12:45:16 +0200 | paulson | reduction in tracing files | changeset | files |
| Thu, 29 Sep 2005 12:45:04 +0200 | paulson | improvements for problem generation | changeset | files |