| Sat, 28 Feb 2009 14:09:58 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Thu, 31 May 2007 21:09:14 +0200 | wenzelm | tuned headers -- adapted to usual conventions; | file | diff | annotate |
| Thu, 31 May 2007 20:55:29 +0200 | wenzelm | moved IsaPlanner from Provers to Tools; | file | diff | annotate |