# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: fafda1b14329d0314ae01edc0baa9fffe06f229b
output_heap: 523f617eff42da99858a3226f66b8116ec14798e
input_heaps:
9b4902f8e8c2cff8739e12b432b794bca1b63c5f
bd7d4d62ea14622c8855a61e25906a49ea079dab
3c21f91ac9ef449f50201c922fc6e9cbb3a20685


