--- a/doc/Contents Mon Mar 28 12:11:54 2016 +0200
+++ b/doc/Contents Tue Mar 29 09:45:54 2016 +0200
@@ -4,6 +4,7 @@
classes Tutorial on Type Classes
datatypes Tutorial on (Co)datatype Definitions
functions Tutorial on Function Definitions
+ corec Tutorial on Nonprimitively Corecursive Definitions
codegen Tutorial on Code Generation
nitpick User's Guide to Nitpick
sledgehammer User's Guide to Sledgehammer
@@ -22,4 +23,3 @@
intro Old Introduction to Isabelle
logics Isabelle's Logics: HOL and misc logics
logics-ZF Isabelle's Logics: FOL and ZF
-