Removed the pre-noweb version of the grammar.