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