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