doc-src/TutorialI/CTL/CTL.thy
Wed, 14 Mar 2012 15:54:27 +0100 haftmann corrected fragile proof; tuned semicolons
Mon, 01 Mar 2010 13:40:23 +0100 haftmann replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
Fri, 30 May 2008 17:52:10 +0200 nipkow *** empty log message ***
Thu, 29 May 2008 22:45:33 +0200 nipkow *** empty log message ***
Thu, 09 Nov 2006 11:58:43 +0100 wenzelm lfp_induct_set;
Thu, 19 Jan 2006 21:22:30 +0100 wenzelm quote "atom";
Wed, 19 Oct 2005 21:52:07 +0200 wenzelm fix headers;
less more (0) -30 -10 -7 tip