| Thu, 25 Apr 2013 17:13:24 +0200 | blanchet | adjusted stream library to coinduct attributes | changeset | files |
| Thu, 25 Apr 2013 17:13:24 +0200 | blanchet | generate proper attributes for coinduction rules | changeset | files |
| Thu, 25 Apr 2013 13:22:45 +0200 | wenzelm | updated to jdk-7u21; | changeset | files |
| Thu, 25 Apr 2013 11:59:21 +0200 | hoelzl | revert #916271d52466; add non-topological linear_continuum type class; show linear_continuum_topology is a perfect_space | changeset | files |
| Thu, 25 Apr 2013 10:35:56 +0200 | hoelzl | renamed linear_continuum_topology to connected_linorder_topology (and mention in NEWS) | changeset | files |
| Wed, 24 Apr 2013 13:28:30 +0200 | hoelzl | spell conditional_ly_-complete lattices correct | changeset | files |
| Thu, 25 Apr 2013 10:31:10 +0200 | traytel | specify nicer names for map, set and rel in the stream library | changeset | files |
| Thu, 25 Apr 2013 09:25:50 +0200 | blanchet | start making "wrap_data" more robust | changeset | files |