src/Doc/IsarRef/Proof.thy
Wed, 12 Mar 2014 17:02:05 +0100 wenzelm more explicit markup and explanation of the improper status of 'back', following the AFP style-guide;
Sun, 02 Mar 2014 19:00:45 +0100 wenzelm clarified names of antiquotations and markup;
less more (0) -10 -2 tip