| 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 |