CookBook/Parsing.thy
2008-10-17 Christian Urban substantial changes to the antiquotations (preliminary version)
2008-10-14 Christian Urban added a preliminary section about parsing
less more (0) -2 tip