CookBook/Parsing.thy
2008-12-17 Christian Urban tuned
less more (0) -10 -1 tip