| Sat, 28 Nov 2009 04:46:03 +0100 | Christian Urban | fixed examples in IntEx and FSet | file | diff | annotate |
| Sat, 28 Nov 2009 04:37:04 +0100 | Christian Urban | fixed previous commit | file | diff | annotate |
| Sat, 28 Nov 2009 02:54:24 +0100 | Christian Urban | annotated a proof with all steps and simplified LAMBDA_RES_TAC | file | diff | annotate |
| Fri, 27 Nov 2009 10:04:49 +0100 | Cezary Kaliszyk | Simplifying arguments; got rid of trans2_thm. | file | diff | annotate |
| Fri, 27 Nov 2009 08:15:23 +0100 | Cezary Kaliszyk | Removing arguments of tactics: absrep, rel_refl, reps_same are computed. | file | diff | annotate |
| Fri, 27 Nov 2009 07:00:14 +0100 | Cezary Kaliszyk | Minor cleaning | file | diff | annotate |
| Fri, 27 Nov 2009 02:55:56 +0100 | Christian Urban | introduced a separate lemma for id_simps | file | diff | annotate |
| Fri, 27 Nov 2009 02:35:50 +0100 | Christian Urban | deleted obsolete qenv code | file | diff | annotate |
| Fri, 27 Nov 2009 02:23:49 +0100 | Christian Urban | renamed REGULARIZE to be regularize | file | diff | annotate |
| Wed, 25 Nov 2009 21:48:32 +0100 | Cezary Kaliszyk | applic_prs | file | diff | annotate |
| Wed, 25 Nov 2009 11:41:42 +0100 | Cezary Kaliszyk | Removed unused things from QuotMain. | file | diff | annotate |
| Wed, 25 Nov 2009 10:39:53 +0100 | Cezary Kaliszyk | cleaning in MyInt | file | diff | annotate |
| Wed, 25 Nov 2009 03:45:44 +0100 | Christian Urban | fixed the problem with generalising variables; at the moment it is quite a hack | file | diff | annotate |
| Tue, 24 Nov 2009 15:15:10 +0100 | Christian Urban | added a prepare_tac | file | diff | annotate |
| Tue, 24 Nov 2009 14:19:54 +0100 | Cezary Kaliszyk | Moved cleaning to QuotMain | file | diff | annotate |