| Sat, 03 Sep 2005 16:44:17 +0200 | wenzelm | deprecated non-Isar theory file format; | changeset | files |
| Fri, 02 Sep 2005 21:29:55 +0200 | quigley | Added ECommunication.ML | changeset | files |
| Fri, 02 Sep 2005 21:29:33 +0200 | quigley | Added ECommunication.ML and modified res_atp.ML, Reconstruction.thy, and | changeset | files |
| Fri, 02 Sep 2005 17:55:24 +0200 | paulson | further tidying up of Isabelle-ATP link | changeset | files |
| Fri, 02 Sep 2005 17:23:59 +0200 | wenzelm | converted specifications to Isar theories; | changeset | files |
| Fri, 02 Sep 2005 15:54:47 +0200 | haftmann | some 'assoc' etc. refactoring | changeset | files |
| Fri, 02 Sep 2005 15:25:44 +0200 | paulson | tidying up the Isabelle/ATP interface | changeset | files |
| Fri, 02 Sep 2005 15:25:27 +0200 | paulson | fixed arities and restored changes that had gone missing | changeset | files |