src/HOL/Nominal/Examples/Pattern.thy
Sun, 13 Sep 2015 22:56:52 +0200 wenzelm tuned proofs -- less legacy;
Sun, 13 Sep 2015 20:20:16 +0200 wenzelm renamed method "goals" to "goal_cases" to emphasize its meaning;
Mon, 31 Aug 2015 21:01:21 +0200 wenzelm prefer symbols;
Thu, 25 Jun 2015 23:33:47 +0200 wenzelm tuned proofs;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Thu, 11 Sep 2014 19:32:36 +0200 blanchet updated news
Tue, 09 Sep 2014 20:51:36 +0200 blanchet use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
less more (0) -10 -7 tip