changed back type of corecursor for nested case, effectively reverting aa66ea552357 and 78a3d5006cf1
Tutorials
prog-prove Programming and Proving in Isabelle/HOL
tutorial Tutorial on Isabelle/HOL
locales Tutorial on Locales
classes Tutorial on Type Classes
functions Tutorial on Function Definitions
codegen Tutorial on Code Generation
nitpick User's Guide to Nitpick
sledgehammer User's Guide to Sledgehammer
sugar LaTeX Sugar for Isabelle documents
Reference Manuals
main What's in Main
isar-ref The Isabelle/Isar Reference Manual
implementation The Isabelle/Isar Implementation Manual
system The Isabelle System Manual
Old Manuals (outdated)
intro Old Introduction to Isabelle
ref Old Isabelle Reference Manual
logics Isabelle's Logics: overview and misc logics
logics-HOL Isabelle's Logics: HOL
logics-ZF Isabelle's Logics: FOL and ZF