src/Doc/IsarRef/Generic.thy
Sun, 26 Jan 2014 14:01:19 +0100 wenzelm discontinued obsolete attribute "standard";
Wed, 22 Jan 2014 17:02:05 +0100 wenzelm prefer rail cartouche -- avoid back-slashed quotes;
less more (0) -10 -2 tip