| Tue, 27 Oct 2009 14:59:00 +0100 | Cezary Kaliszyk | Fixed APPLY_RSP vs Cong in the InjRepAbs tactic. | file | diff | annotate |
| Tue, 27 Oct 2009 12:20:57 +0100 | Cezary Kaliszyk | Simplifying FSet with new functions. | file | diff | annotate |
| Mon, 26 Oct 2009 15:31:53 +0100 | Cezary Kaliszyk | Simplifying Int and Working on map | file | diff | annotate |
| Mon, 26 Oct 2009 11:55:36 +0100 | Cezary Kaliszyk | Finished the code for adding lower defs, and more things moved to QuotMain | file | diff | annotate |
| Mon, 26 Oct 2009 11:34:02 +0100 | Cezary Kaliszyk | Making all the definitions from the original ones | file | diff | annotate |
| Mon, 26 Oct 2009 10:02:50 +0100 | Cezary Kaliszyk | Cleaning and fixing. | file | diff | annotate |