Session Generic_Deriving
View
theory dependencies
View
document
View
outline
Theories
Tagged_Prod_Sum
Derive
File ‹derive_util.ML›
File ‹derive_laws.ML›
File ‹derive_setup.ML›
File ‹derive.ML›
Derive_Datatypes
Derive_Eq
Derive_Encode
Derive_Algebra
Derive_Show
Derive_Eq_Laws
Derive_Algebra_Laws