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
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 17:50:02 +0100] rev 544
Minor renames and moving
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 17:36:45 +0100] rev 543
Cleaning/review of QuotScript.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 17:15:55 +0100] rev 542
More cleaning
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 16:53:11 +0100] rev 541
more name cleaning and removing
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 16:40:23 +0100] rev 540
More code cleaning and renaming: moved rsp and prs lemmas from Int to QuotList