| 2009-11-27 | Cezary Kaliszyk | Simplifying arguments; got rid of trans2_thm. | file | diff | annotate |
| 2009-11-27 | Cezary Kaliszyk | Recommit | file | diff | annotate |
| 2009-11-27 | Cezary Kaliszyk | Removing arguments of tactics: absrep, rel_refl, reps_same are computed. | file | diff | annotate |
| 2009-11-25 | Cezary Kaliszyk | applic_prs | file | diff | annotate |
| 2009-11-25 | Cezary Kaliszyk | Removed unused things from QuotMain. | file | diff | annotate |
| 2009-11-25 | Cezary Kaliszyk | All examples work again. | file | diff | annotate |
| 2009-11-25 | Cezary Kaliszyk | lambda_prs and cleaning the existing examples. | file | diff | annotate |