| Tue, 15 Apr 2008 16:12:05 +0200 | wenzelm | Thm.forall_elim_var(s); | 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 |