Tue, 03 Nov 2009 16:17:19 +0100 | Cezary Kaliszyk | Automatic FORALL_PRS. 'list.induct' lifts automatically. Faster ALLEX_RSP | file | diff | annotate |
Mon, 02 Nov 2009 18:26:55 +0100 | Christian Urban | split quotient.ML into two files | file | diff | annotate |