src/Doc/Codegen/Inductive_Predicate.thy
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) -2 tip