| 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 |
| Sat, 24 Dec 2011 15:53:10 +0100 | haftmann | adjusted to set/pred distinction by means of type constructor `set` | file | diff | annotate |
| Wed, 14 Sep 2011 10:08:52 -0400 | hoelzl | renamed Complete_Lattices lemmas, removed legacy names | file | diff | annotate |