Recursive records must now be declared as inductive or coinductive.
[auto] merge master into gh-pages
[auto] updated html listings