nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 09 Dec 2009 05:59:49 +0100] rev 656

Temporarily repeated fun_map_tac 4 times. Cleaning for all examples work.

Christian Urban <urbanc@in.tum.de> [Wed, 09 Dec 2009 00:54:46 +0100] rev 655

tuned code

Christian Urban <urbanc@in.tum.de> [Wed, 09 Dec 2009 00:03:18 +0100] rev 654

tuned the examples and flagged the problematic cleaning lemmas in FSet

Christian Urban <urbanc@in.tum.de> [Tue, 08 Dec 2009 23:32:54 +0100] rev 653

merged

Christian Urban <urbanc@in.tum.de> [Tue, 08 Dec 2009 23:30:47 +0100] rev 652

implemented cleaning strategy with fun_map.simps on non-bounded variables; still a few rough edges

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 08 Dec 2009 23:04:40 +0100] rev 651

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 08 Dec 2009 23:04:25 +0100] rev 650

manually cleaned the hard lemma.

nominal2