# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: 8acc7693fa50287e038a921cc42c129351d62245
output_heap: 1ebb7860c5567cb137952210ff1076ecb3ca1ddf
input_heaps:
80336e722f2282f0e73859bdb2bc1deeb5e20e13
e71e14a4803a9741ead2aefcee7360a997c650e5
57b412520451206f55ed335320853e88912398f3


