doc-src/TutorialI/Misc/simp.thy
2000-12-13 nipkow 2000-12-13 *** empty log message ***
2000-10-31 nipkow 2000-10-31 *** empty log message ***
2000-10-09 nipkow 2000-10-09 *** empty log message ***
2000-09-12 nipkow 2000-09-12 *** empty log message ***
2000-09-11 wenzelm 2000-09-11 dummy;