| Sat, 16 Apr 2011 18:11:20 +0200 | wenzelm | eliminated old List.nth; | file | diff | annotate |
| Sat, 20 Nov 2010 00:53:26 +0100 | wenzelm | renamed raw "explode" function to "raw_explode" to emphasize its meaning; | file | diff | annotate |
| 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 |