| Mon, 19 Apr 2010 10:35:08 +0200 | Cezary Kaliszyk | Accept non-equality eqvt rules in support proofs. | file | diff | annotate |
| Thu, 01 Apr 2010 08:48:33 +0200 | Cezary Kaliszyk | Let with multiple bindings. | file | diff | annotate |
| Sat, 27 Mar 2010 14:55:07 +0100 | Cezary Kaliszyk | Automatically lift theorems and constants only using the new quotient types. Requires new Isabelle. | file | diff | annotate |
| Sat, 27 Mar 2010 13:50:59 +0100 | Cezary Kaliszyk | Get lifted types information from the quotient package. | file | diff | annotate |