doc-src/IsarImplementation/Thy/Tactic.thy
Sun, 28 Nov 2010 21:07:28 +0100 wenzelm Parse.liberal_name for document antiquotations and attributes;
less more (0) -1 tip