src/Doc/Main/Main_Doc.thy
2012-12-17 nipkow 2012-12-17 added table of infix operators
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;