| Fri, 23 Mar 2012 14:17:29 +0100 | kuncar | fix Quotient_Examples | file | diff | annotate |
| Thu, 01 Mar 2012 19:34:52 +0100 | haftmann | more fundamental pred-to-set conversions, particularly by means of inductive_set; associated consolidation of some theorem names (c.f. NEWS) | file | diff | annotate |
| Fri, 24 Feb 2012 22:46:16 +0100 | haftmann | explicit is better than implicit | file | diff | annotate |
| Thu, 09 Feb 2012 09:36:30 +0100 | Cezary Kaliszyk | Generalize the compositional preservation theorems | file | diff | annotate |
| Sun, 05 Feb 2012 07:05:34 +0100 | Cezary Kaliszyk | Make automatic derivation of raw/quotient types more greedy to allow descending and quot_lifted for compound quotients. | file | diff | annotate |
| Fri, 03 Feb 2012 15:51:10 +0100 | Cezary Kaliszyk | Quotient FSet: Add compositional respectfulness and preservation for map and lift map_concat | file | diff | annotate |