blanchet [Thu, 25 Apr 2013 18:27:26 +0200] rev 51781
renamed "wrap_data" to "wrap_free_constructors"
blanchet [Thu, 25 Apr 2013 18:14:04 +0200] rev 51780
register coinductive type's coinduct rule
blanchet [Thu, 25 Apr 2013 17:25:10 +0200] rev 51779
compile
blanchet [Thu, 25 Apr 2013 17:13:24 +0200] rev 51778
adjusted stream library to coinduct attributes
blanchet [Thu, 25 Apr 2013 17:13:24 +0200] rev 51777
generate proper attributes for coinduction rules
wenzelm [Thu, 25 Apr 2013 13:22:45 +0200] rev 51776
updated to jdk-7u21;
hoelzl [Thu, 25 Apr 2013 11:59:21 +0200] rev 51775
revert #916271d52466; add non-topological linear_continuum type class; show linear_continuum_topology is a perfect_space
hoelzl [Thu, 25 Apr 2013 10:35:56 +0200] rev 51774
renamed linear_continuum_topology to connected_linorder_topology (and mention in NEWS)
hoelzl [Wed, 24 Apr 2013 13:28:30 +0200] rev 51773
spell conditional_ly_-complete lattices correct
traytel [Thu, 25 Apr 2013 10:31:10 +0200] rev 51772
specify nicer names for map, set and rel in the stream library