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
Christian Urban <urbanc@in.tum.de> [Fri, 04 Dec 2009 21:43:29 +0100] rev 550
merged
Christian Urban <urbanc@in.tum.de> [Fri, 04 Dec 2009 21:42:55 +0100] rev 549
not yet quite functional treatment of constants
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 19:47:58 +0100] rev 548
Changed FOCUS to SUBGOAL in rep_abs_rsp_tac; another 20% speedup :)
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 19:06:53 +0100] rev 547
Changing FOCUS to CSUBGOAL (part 1)
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 18:32:19 +0100] rev 546
abs_rep as ==
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 17:57:03 +0100] rev 545
Cleaning the Quotients file