doc-src/TutorialI/Types/Pairs.thy
2000-12-06 nipkow 2000-12-06 *** empty log message ***
2000-12-01 nipkow 2000-12-01 *** empty log message ***