| 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 |
| Tue, 08 Jan 2002 20:44:57 +0100 | wenzelm | no_document use_thy "While_Combinator"; | file | diff | annotate |