| Thu, 26 Jul 2012 18:55:42 +0200 | wenzelm | recovered latex job; | file | diff | annotate |
| Wed, 25 Jul 2012 23:02:50 +0200 | wenzelm | avoid clash of Advanced/simp.thy vs. Misc/simp.thy; | file | diff | annotate |
| Mon, 05 Nov 2007 15:37:41 +0100 | nipkow | removed advanced recdef section and replaced it by citation of Alex's tutorial. | file | diff | annotate |