# isabelle_session_info

session_name: Typeclass_Hierarchy
sources: 1863c44b42436fefb49a896a5815cbdfc5df0871
input_heaps:
1f11aeb0b5cb58822b61789e97e7af2cf416f0f7
064d95192f7eed013868891c67a843698304438a
76d136fe2b1f7d0764f431c043fb81a2fa9fedf0
bdee677c64d0de3c8305f7c21b40ac031635a752


