doc-src/TutorialI/CTL/CTL.thy
2000-09-14 nipkow 2000-09-14 *** empty log message ***