| 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:09 +0100 | haftmann | tuned proofs | file | diff | annotate |
| Thu, 18 Aug 2011 13:10:24 +0200 | haftmann | avoid case-sensitive name for example theory | file | diff | annotate | base |