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