| Wed, 10 Feb 2010 17:10:52 +0100 | Cezary Kaliszyk | hg-added the added file. | file | diff | annotate |
| Wed, 10 Feb 2010 17:02:29 +0100 | Cezary Kaliszyk | Changes from Makarius's code review + some noticed fixes. | file | diff | annotate |
| Wed, 10 Feb 2010 11:27:49 +0100 | Cezary Kaliszyk | Some cleaning of proofs. | file | diff | annotate |
| Fri, 05 Feb 2010 10:32:21 +0100 | Cezary Kaliszyk | Fixes for Bex1 removal. | file | diff | annotate |
| Thu, 28 Jan 2010 12:24:49 +0100 | Cezary Kaliszyk | Renamed Bexeq to Bex1_rel | file | diff | annotate |
| Tue, 26 Jan 2010 16:30:51 +0100 | Cezary Kaliszyk | Bex1_Bexeq_regular. | file | diff | annotate |
| Tue, 26 Jan 2010 10:53:44 +0100 | Christian Urban | merged | file | diff | annotate |
| Tue, 26 Jan 2010 07:42:52 +0100 | Cezary Kaliszyk | more eq_reflection & other cleaning. | file | diff | annotate |
| Tue, 26 Jan 2010 07:14:10 +0100 | Cezary Kaliszyk | Removing more eq_reflections. | file | diff | annotate |
| Mon, 25 Jan 2010 18:52:22 +0100 | Christian Urban | properly commented out the "unused lemmas section" and moved actually used lemmas elsewhere; added two minor items to the TODO list | file | diff | annotate |
| Mon, 25 Jan 2010 18:13:44 +0100 | Christian Urban | renamed QuotScript to QuotBase | file | diff | annotate | base |