nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 06 Dec 2009 06:41:52 +0100] rev 574

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 06 Dec 2009 06:39:32 +0100] rev 573

Simpler definition code that works with any type maps.

Christian Urban <urbanc@in.tum.de> [Sun, 06 Dec 2009 04:03:08 +0100] rev 572

working on lambda_prs with examples; polished code of clean_tac

Christian Urban <urbanc@in.tum.de> [Sun, 06 Dec 2009 02:41:35 +0100] rev 571

renamed lambda_allex_prs

Christian Urban <urbanc@in.tum.de> [Sun, 06 Dec 2009 01:43:46 +0100] rev 570

added more to IntEx2

Christian Urban <urbanc@in.tum.de> [Sun, 06 Dec 2009 00:19:45 +0100] rev 569

merged

Christian Urban <urbanc@in.tum.de> [Sun, 06 Dec 2009 00:13:35 +0100] rev 568

added new example for Ints; regularise does not work in all instances

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 06 Dec 2009 00:00:47 +0100] rev 567

Definitions folded first.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 05 Dec 2009 23:35:09 +0100] rev 566

Used symmetric definitions. Moved quotient_rsp to QuotMain.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 05 Dec 2009 23:26:08 +0100] rev 565

Proved foldl_rsp and ho_map_rsp

nominal2