src/Doc/Implementation/Logic.thy
Mon, 20 Oct 2014 23:17:28 +0200 wenzelm tuned spacing;
Tue, 07 Oct 2014 21:29:59 +0200 wenzelm more cartouches;
Sun, 05 Oct 2014 22:47:07 +0200 wenzelm prefer @{cite} antiquotation;
less more (0) -3 tip