| Mon, 12 Aug 2013 23:36:43 +0200 | blanchet | fixed "sorry"d proofs | file | diff | annotate |
| Thu, 25 Apr 2013 10:31:10 +0200 | traytel | specify nicer names for map, set and rel in the stream library | file | diff | annotate |
| Fri, 14 Dec 2012 16:33:22 +0100 | wenzelm | updated some headers; | file | diff | annotate |
| Thu, 13 Dec 2012 15:39:07 +0100 | traytel | short library for streams | file | diff | annotate |
| Thu, 13 Dec 2012 15:36:08 +0100 | traytel | renamed theory | file | diff | annotate |