doc-src/TutorialI/CTL/CTL.thy
2000-12-13 nipkow 2000-12-13 *** empty log message ***
2000-10-31 nipkow 2000-10-31 *** empty log message ***
2000-10-20 nipkow 2000-10-20 *** empty log message ***
2000-10-18 nipkow 2000-10-18 *** empty log message ***
2000-10-17 nipkow 2000-10-17 *** empty log message ***
2000-10-17 paulson 2000-10-17 renaming of contrapos rules
2000-10-16 nipkow 2000-10-16 *** empty log message ***
2000-10-13 nipkow 2000-10-13 *** empty log message ***
2000-10-12 nipkow 2000-10-12 *** empty log message ***
2000-10-12 wenzelm 2000-10-12 induct -> lfp_induct;
2000-10-11 nipkow 2000-10-11 *** empty log message ***
2000-10-11 nipkow 2000-10-11 *** empty log message ***
2000-10-09 nipkow 2000-10-09 *** empty log message ***
2000-10-09 nipkow 2000-10-09 *** empty log message ***
2000-10-06 nipkow 2000-10-06 *** empty log message ***
2000-10-04 nipkow 2000-10-04 *** empty log message ***
2000-10-03 nipkow 2000-10-03 *** empty log message ***
2000-09-15 wenzelm 2000-09-15 someI2_ex;
2000-09-15 nipkow 2000-09-15 *** empty log message ***
2000-09-14 nipkow 2000-09-14 *** empty log message ***