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
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
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 16:12:40 +0100] rev 539
Cleaning & Renaming coming from QuotList
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 16:01:23 +0100] rev 538
Cleaning in Quotients
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 15:50:57 +0100] rev 537
Even more name changes and cleaning
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 15:41:09 +0100] rev 536
More code cleaning and name changes
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 15:25:51 +0100] rev 535
merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 15:25:26 +0100] rev 534
merged
Christian Urban <urbanc@in.tum.de> [Fri, 04 Dec 2009 15:23:10 +0100] rev 533
smaller theory footprint
Christian Urban <urbanc@in.tum.de> [Fri, 04 Dec 2009 15:20:06 +0100] rev 532
merged
Christian Urban <urbanc@in.tum.de> [Fri, 04 Dec 2009 15:19:39 +0100] rev 531
merge
Christian Urban <urbanc@in.tum.de> [Fri, 04 Dec 2009 15:18:37 +0100] rev 530
smaller theory footprint
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 15:18:33 +0100] rev 529
More name changes
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 15:04:05 +0100] rev 528
Naming changes
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 14:35:36 +0100] rev 527
code cleaning and renaming
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 14:11:20 +0100] rev 526
merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 14:11:03 +0100] rev 525
Removed previous inj_repabs_tac
Christian Urban <urbanc@in.tum.de> [Fri, 04 Dec 2009 13:58:23 +0100] rev 524
some tuning
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 12:21:15 +0100] rev 523
merge