nominal2: Changelog

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.

Christian Urban <urbanc@in.tum.de> [Sat, 05 Dec 2009 16:26:18 +0100] rev 553

made some slight simplifications to the examples

Christian Urban <urbanc@in.tum.de> [Sat, 05 Dec 2009 13:49:35 +0100] rev 552

added three examples to IntEx for testing ideas - regularisation and injection seem to be not quite right yet

Christian Urban <urbanc@in.tum.de> [Sat, 05 Dec 2009 00:06:27 +0100] rev 551

tuned code

nominal2