Thu, 29 Jan 2009 12:24:00 +0000 | paulson | Automated merge with ssh://paulson@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle | changeset | files |
Thu, 29 Jan 2009 12:05:19 +0000 | paulson | Minor reorganisation of the Skolemization code | changeset | files |
Tue, 13 Jan 2009 16:47:24 +0000 | paulson | Automated merge with ssh://paulson@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle | changeset | files |
Fri, 09 Jan 2009 15:54:41 +0000 | paulson | Automated merge with ssh://paulson@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle | changeset | files |
Fri, 19 Dec 2008 11:49:08 +0000 | paulson | Automated merge with ssh://paulson@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle | changeset | files |
Mon, 15 Dec 2008 10:40:52 +0000 | paulson | Automated merge with ssh://paulson@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle | changeset | files |