| Tue, 19 Nov 2013 01:29:50 +0100 | blanchet | optimized 'bad apple' method calls | file | diff | annotate |
| Mon, 18 Nov 2013 18:04:45 +0100 | blanchet | compile | file | diff | annotate |
| Mon, 18 Nov 2013 18:04:44 +0100 | blanchet | started three-way split of 'HOL-Cardinals' | file | diff | annotate |
| Tue, 28 May 2013 13:19:51 +0200 | popescua | merged Well_Order_Extension into Zorn | file | diff | annotate |
| Mon, 27 May 2013 22:30:07 +0200 | wenzelm | more direct notation; | file | diff | annotate |
| Mon, 27 May 2013 20:09:20 +0200 | popescua | added Ordered_Union | file | diff | annotate |