nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Mon, 27 Sep 2010 04:56:28 -0400] rev 2490

some experiments

Christian Urban <urbanc@in.tum.de> [Mon, 27 Sep 2010 04:10:36 -0400] rev 2489

added simp rules for prod_fv and prod_alpha

Christian Urban <urbanc@in.tum.de> [Sun, 26 Sep 2010 17:57:30 -0400] rev 2488

a few more words about Ott

Christian Urban <urbanc@in.tum.de> [Sat, 25 Sep 2010 08:38:04 -0400] rev 2487

lifted size_thms and exported them as <name>.size

Christian Urban <urbanc@in.tum.de> [Sat, 25 Sep 2010 08:28:45 -0400] rev 2486

cleaned up two examples

Christian Urban <urbanc@in.tum.de> [Sat, 25 Sep 2010 02:53:39 +0200] rev 2485

added example about datatypes

Christian Urban <urbanc@in.tum.de> [Thu, 23 Sep 2010 05:28:40 +0200] rev 2484

updated to Isabelle 22 Sept

Christian Urban <urbanc@in.tum.de> [Wed, 22 Sep 2010 23:17:25 +0200] rev 2483

removed dead code

Christian Urban <urbanc@in.tum.de> [Wed, 22 Sep 2010 18:13:26 +0200] rev 2482

fixed

Christian Urban <urbanc@in.tum.de> [Wed, 22 Sep 2010 14:19:48 +0800] rev 2481

made supp proofs more robust by not using the standard induction; renamed some example files

nominal2