nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Tue, 31 May 2011 00:17:22 +0100] rev 2789

functions involving if and case do not throw exceptions anymore; but eqvt_at assumption has now a precondition

Christian Urban <urbanc@in.tum.de> [Thu, 26 May 2011 06:36:29 +0200] rev 2788

updated to new Isabelle

Christian Urban <urbanc@in.tum.de> [Wed, 25 May 2011 21:38:50 +0200] rev 2787

added eq_iff and distinct lemmas of nominal datatypes to the simplifier

Christian Urban <urbanc@in.tum.de> [Tue, 24 May 2011 19:39:38 +0200] rev 2786

more on slides

Christian Urban <urbanc@in.tum.de> [Sun, 22 May 2011 10:20:18 +0200] rev 2785

added slides for copenhagen

Christian Urban <urbanc@in.tum.de> [Sat, 14 May 2011 10:16:16 +0100] rev 2784

added a problem with inductive_cases (reported by Randy)

Christian Urban <urbanc@in.tum.de> [Fri, 13 May 2011 14:50:17 +0100] rev 2783

misc

Christian Urban <urbanc@in.tum.de> [Tue, 10 May 2011 17:10:22 +0100] rev 2782

made the subtyping work again

Christian Urban <urbanc@in.tum.de> [Tue, 10 May 2011 07:47:06 +0100] rev 2781

updated to new Isabelle (> 9 May)

Christian Urban <urbanc@in.tum.de> [Mon, 09 May 2011 04:49:58 +0100] rev 2780

merged

nominal2