doc-src/TutorialI/Types/Typedef.thy
2000-11-08 nipkow 2000-11-08 *** empty log message ***
2000-11-02 nipkow 2000-11-02 *** empty log message ***