src/Doc/Tutorial/Misc/fakenat.thy
2014-11-01 wenzelm 2014-11-01 eliminated spurious semicolons;
2014-03-23 wenzelm 2014-03-23 modernized approximation, avoiding bad name binding;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;