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