| Wed, 26 May 2010 16:05:25 +0200 | haftmann | normalized references to constant "split" | file | diff | annotate |
| Wed, 05 May 2010 18:25:34 +0200 | haftmann | farewell to old-style mem infixes -- type inference in situations with mem_int and mem_string should provide enough information to resolve the type of (op =) | file | diff | annotate |
| Sat, 27 Mar 2010 14:48:46 +0100 | Cezary Kaliszyk | Automated lifting can be restricted to specific quotient types | file | diff | annotate |
| Fri, 19 Mar 2010 06:14:37 +0100 | Cezary Kaliszyk | Check that argument is not a 'Bound' before calling fastype_of. | file | diff | annotate |
| Sun, 14 Mar 2010 14:31:24 +0100 | wenzelm | observe standard header format; | file | diff | annotate |
| Sat, 27 Feb 2010 20:57:08 +0100 | wenzelm | clarified @{const_name} vs. @{const_abbrev}; | file | diff | annotate |
| Fri, 19 Feb 2010 13:54:19 +0100 | Cezary Kaliszyk | Initial version of HOL quotient package. | file | diff | annotate |