| Mon, 19 Mar 2012 09:48:03 +0100 | state of development Isabelle2002 --> 2011 wrt. test/../Knowledge | file | diff | annotate |
| Sat, 17 Mar 2012 13:33:25 +0100 | uncomment test/../simplify,atools.sml (Isabelle 2002 --> 2011) | file | diff | annotate |
| Sat, 17 Mar 2012 12:52:30 +0100 | uncomment test/../root,equation,poly.sml (Isabelle 2002 --> 2011) | file | diff | annotate |
| Sat, 17 Mar 2012 11:06:46 +0100 | uncomment test/../rateq.sml (Isabelle 2002 --> 2011) | file | diff | annotate |
| Fri, 14 Oct 2011 14:33:25 +0200 | end repair test/../polyeq.sml | file | diff | annotate |
| Thu, 13 Oct 2011 13:46:30 +0200 | prep. repair Apply_Method without init_form | file | diff | annotate |