Session Typeclass_Hierarchy
View
theory dependencies
View
typeclass_hierarchy
Theories
HOL-Library.Cancellation
File ‹Cancellation/cancel.ML›
File ‹Cancellation/cancel_data.ML›
File ‹Cancellation/cancel_simprocs.ML›
HOL-Library.Multiset
File ‹multiset_simprocs.ML›
Setup
File ‹~~/src/Doc/antiquote_setup.ML›
File ‹~~/src/Doc/more_antiquote.ML›
Typeclass_Hierarchy