| 2009-11-27 | Cezary Kaliszyk | The magical code from Stefan, will need to be integrated in the Simproc. | file | diff | annotate |
| 2009-11-27 | Cezary Kaliszyk | Simplifying arguments; got rid of trans2_thm. | file | diff | annotate |
| 2009-11-27 | Cezary Kaliszyk | Cleaning of LFex. Lambda_prs fails to unify in 2 places. | file | diff | annotate |
| 2009-11-27 | Cezary Kaliszyk | Removing arguments of tactics: absrep, rel_refl, reps_same are computed. | file | diff | annotate |