src/HOL/ex/CTL.thy
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 ***