nipkow [Mon, 07 Jul 2014 17:01:11 +0200] rev 58872
added lemma
desharna [Mon, 07 Jul 2014 16:06:46 +0200] rev 58871
refactor some tactics
desharna [Mon, 07 Jul 2014 16:06:46 +0200] rev 58870
refactor some tactics
desharna [Mon, 07 Jul 2014 16:06:46 +0200] rev 58869
add helper function map_prod
desharna [Mon, 07 Jul 2014 16:06:46 +0200] rev 58868
document property 'rel_cases'
desharna [Mon, 07 Jul 2014 16:06:46 +0200] rev 58867
generate 'rel_cases' theorem for (co)datatypes
wenzelm [Sat, 05 Jul 2014 20:51:24 +0200] rev 58866
update for release;
wenzelm [Sat, 05 Jul 2014 16:29:19 +0200] rev 58865
Added tag Isabelle2014-RC0 for changeset 251ef0202e71
wenzelm [Sat, 05 Jul 2014 16:28:07 +0200] rev 58864
merged
wenzelm [Sat, 05 Jul 2014 13:39:53 +0200] rev 58863
modernized definitions;