# isabelle_session_info

session_name: Typeclass_Hierarchy
sources: f091c5270810af7413a6268933a371c0699b1479
input_heaps:
04546e13b3ec7f70b074138ed2f4d8667390e734
094d1060cfdb72ebd3fd1291784fda6152066b69
fd74a6dee3e5c7237bf3cd94c82b97c12c86e062
a9cb52169ab058375e9e9a850cb7924f70f5c59a


