src/HOL/ex/CTL.thy
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-12 nipkow 2006-11-12 started reorgnization of lattice theories
2006-10-13 berghofe 2006-10-13 Adapted to changes in FixedPoint theory.
2006-10-01 wenzelm 2006-10-01 tuned;
2005-09-14 wenzelm 2005-09-14 tuned headers etc.;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-04-28 bauerg 2005-04-28 *** empty log message ***