doc-src/TutorialI/Advanced/Partial.thy
2000-12-13 nipkow 2000-12-13 *** empty log message ***