doc-src/TutorialI/CTL/CTLind.thy
2000-10-20 nipkow 2000-10-20 *** empty log message ***
2000-10-18 paulson 2000-10-18 wellfounded -> well-founded
2000-10-17 paulson 2000-10-17 renaming of contrapos rules
2000-10-13 nipkow 2000-10-13 *** empty log message ***