| Sun, 06 Dec 2009 23:35:02 +0100 | Christian Urban | merged | file | diff | annotate |
| Sun, 06 Dec 2009 13:41:42 +0100 | Christian Urban | added a theorem list for equivalence theorems | file | diff | annotate |
| Sun, 06 Dec 2009 22:57:44 +0100 | Cezary Kaliszyk | Name changes. | file | diff | annotate |
| Sun, 06 Dec 2009 06:39:32 +0100 | Cezary Kaliszyk | Simpler definition code that works with any type maps. | file | diff | annotate |
| Sun, 06 Dec 2009 00:00:47 +0100 | Cezary Kaliszyk | Definitions folded first. | file | diff | annotate |
| Sat, 05 Dec 2009 22:02:32 +0100 | Christian Urban | simplified inj_repabs_trm | file | diff | annotate |
| Fri, 04 Dec 2009 16:53:11 +0100 | Cezary Kaliszyk | more name cleaning and removing | file | diff | annotate |
| Fri, 04 Dec 2009 15:25:26 +0100 | Cezary Kaliszyk | merged | file | diff | annotate |
| Fri, 04 Dec 2009 15:19:39 +0100 | Christian Urban | merge | file | diff | annotate |
| Fri, 04 Dec 2009 14:11:03 +0100 | Cezary Kaliszyk | Removed previous inj_repabs_tac | file | diff | annotate |
| Fri, 04 Dec 2009 12:20:49 +0100 | Cezary Kaliszyk | rep_abs_rsp_tac to replace the last use of instantiate_tac with matching and unification. | file | diff | annotate |
| Fri, 04 Dec 2009 10:12:17 +0100 | Cezary Kaliszyk | Using APPLY_RSP1; again a little bit faster. | file | diff | annotate |
| Fri, 04 Dec 2009 09:25:27 +0100 | Cezary Kaliszyk | The big merge; probably non-functional. | file | diff | annotate |
| Fri, 04 Dec 2009 09:08:51 +0100 | Cezary Kaliszyk | Testing the new tactic everywhere | file | diff | annotate |
| Fri, 04 Dec 2009 09:01:13 +0100 | Cezary Kaliszyk | First version of the deterministic rep-abs-inj-tac. | file | diff | annotate |