| 2010-07-20 | Christian Urban | partially moved from string_of_term to pretty_term | file | diff | annotate |
| 2010-05-27 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2010-05-17 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2009-12-03 | Christian Urban | tuned | file | diff | annotate |