src/Doc/Tutorial/Protocol/Message.thy
Wed, 12 Mar 2014 14:17:13 +0100 wenzelm some document antiquotations for Isabelle/jEdit elements;
Sat, 25 Jan 2014 21:52:04 +0100 wenzelm prefer explicit 'for' context;
Thu, 18 Apr 2013 17:07:01 +0200 wenzelm simplifier uses proper Proof.context instead of historic type simpset;
less more (0) -3 tip