ProgTutorial/Parsing.thy
2009-05-05 Christian Urban fixed the problem with double definition of even and odd
less more (0) -10 -1 tip