src/HOL/ex/CTL.thy
2016-04-26 wenzelm 2016-04-26 tuned notation;
2016-04-26 wenzelm 2016-04-26 misc tuning and modernization;
2015-12-26 wenzelm 2015-12-26 tuned;
2015-12-26 wenzelm 2015-12-26 isabelle update_cartouches -c -t;
2015-10-06 wenzelm 2015-10-06 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-10-07 wenzelm 2014-10-07 more antiquotations;
2012-02-26 wenzelm 2012-02-26 tuned proofs;
2011-12-28 wenzelm 2011-12-28 reverted some changes for set->predicate transition, according to "hg log -u berghofe -r Isabelle2007:Isabelle2008"; tuned proofs;
2011-04-23 wenzelm 2011-04-23 modernized specifications;
2011-01-07 bulwahn 2011-01-07 removing obselete Id comments from HOL/ex theories
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2009-09-16 haftmann 2009-09-16 Inter and Union are mere abbreviations for Inf and Sup
2008-05-07 berghofe 2008-05-07 Rephrased calculational proofs to avoid problems with HO unification
2007-08-20 haftmann 2007-08-20 Sup now explicit parameter of complete_lattice
2007-06-14 wenzelm 2007-06-14 tuned proofs: avoid implicit prems;
2007-06-03 wenzelm 2007-06-03 tuned document;
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 ***