| Thu, 31 May 2007 21:09:14 +0200 | wenzelm | tuned headers -- adapted to usual conventions; | changeset | files |
| Thu, 31 May 2007 20:55:33 +0200 | wenzelm | moved Compute_Oracle from Pure/Tools to Tools; | changeset | files |
| Thu, 31 May 2007 20:55:32 +0200 | wenzelm | proper theory setup for compute oracle (based on CPure); | changeset | files |
| Thu, 31 May 2007 20:55:31 +0200 | wenzelm | moved IsaPlanner from Provers to Tools; | changeset | files |
| Thu, 31 May 2007 20:55:29 +0200 | wenzelm | moved IsaPlanner from Provers to Tools; | changeset | files |
| Thu, 31 May 2007 19:11:19 +0200 | wenzelm | made aconvc pervasive; | changeset | files |