doc-src/TutorialI/Inductive/Even.thy
2000-10-26 paulson 2000-10-26 added the $Id:$ line
2000-10-25 paulson 2000-10-25 minor tinkering
2000-10-24 paulson 2000-10-24 even numbers example