src/Doc/Codegen/Inductive_Predicate.thy
Tue, 07 Oct 2014 22:35:11 +0200 wenzelm more antiquotations;
Sun, 28 Jul 2013 20:51:15 +0200 wenzelm prefer examples that work out of the box;
Mon, 15 Jul 2013 20:13:30 +0200 wenzelm prefer @{file} references that are actually checked;
less more (0) -3 tip