2010-02-05 | Cezary Kaliszyk | Fixes for Bex1 removal. | file | diff | annotate |
2010-01-28 | Cezary Kaliszyk | Renamed Bexeq to Bex1_rel | file | diff | annotate |
2010-01-26 | Cezary Kaliszyk | Bex1_Bexeq_regular. | file | diff | annotate |
2010-01-26 | Christian Urban | merged | file | diff | annotate |
2010-01-26 | Cezary Kaliszyk | more eq_reflection & other cleaning. | file | diff | annotate |
2010-01-26 | Cezary Kaliszyk | Removing more eq_reflections. | file | diff | annotate |
2010-01-25 | 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 |
2010-01-25 | Christian Urban | renamed QuotScript to QuotBase | file | diff | annotate | base |