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 |
Wed, 13 Dec 2000 09:39:53 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
Wed, 11 Oct 2000 10:44:42 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
Thu, 14 Sep 2000 17:46:00 +0200 | nipkow | *** empty log message *** | file | diff | annotate |