doc-src/TutorialI/Types/Numbers.thy
2000-12-06 paulson 2000-12-06 theory file for Numbers section