nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Sat, 05 Dec 2009 22:16:17 +0100] rev 563

further cleaning

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 05 Dec 2009 22:07:46 +0100] rev 562

Merge

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

Added nil_rsp and cons_rsp to quotient_rsp; simplified IntEx.

Christian Urban <urbanc@in.tum.de> [Sat, 05 Dec 2009 22:02:32 +0100] rev 560

simplified inj_repabs_trm

Christian Urban <urbanc@in.tum.de> [Sat, 05 Dec 2009 21:50:31 +0100] rev 559

merged

Christian Urban <urbanc@in.tum.de> [Sat, 05 Dec 2009 21:47:48 +0100] rev 558

merged

Christian Urban <urbanc@in.tum.de> [Sat, 05 Dec 2009 21:45:56 +0100] rev 557

merged

Christian Urban <urbanc@in.tum.de> [Sat, 05 Dec 2009 21:44:01 +0100] rev 556

simpler version of clean_tac

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 05 Dec 2009 21:45:39 +0100] rev 555

Handling of respects in the fast inj_repabs_tac; includes respects with quotient assumptions.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 05 Dec 2009 21:28:24 +0100] rev 554

Solutions to IntEx tests.

nominal2