| Mon, 23 Nov 2009 21:48:44 +0100 | Cezary Kaliszyk | domain_type in regularizing equality | file | diff | annotate |
| Mon, 23 Nov 2009 21:12:16 +0100 | Cezary Kaliszyk | More theorems lifted in the goal-directed way. | file | diff | annotate |
| Mon, 23 Nov 2009 14:16:41 +0100 | Cezary Kaliszyk | Move atomize_goal to QuotMain | file | diff | annotate |
| Mon, 23 Nov 2009 14:05:02 +0100 | Cezary Kaliszyk | Removed second implementation of Regularize/Inject from FSet. | file | diff | annotate |
| Mon, 23 Nov 2009 13:46:14 +0100 | Cezary Kaliszyk | New repabs behaves the same way as old one. | file | diff | annotate |
| Mon, 23 Nov 2009 13:24:12 +0100 | Christian Urban | code review with Cezary | file | diff | annotate |
| Mon, 23 Nov 2009 10:26:59 +0100 | Cezary Kaliszyk | The other branch does not seem to work... | file | diff | annotate |
| Mon, 23 Nov 2009 10:04:35 +0100 | Cezary Kaliszyk | Fixes for recent changes. | file | diff | annotate |