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