doc-src/IsarRef/syntax.tex
Mon, 30 Oct 2000 18:23:34 +0100 wenzelm improved doc of "subgoals" antiquotation;
Mon, 30 Oct 2000 08:40:05 +0100 nipkow added antiq. subgoals
less more (0) -30 -10 -2 tip