# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: c410f60e6642b16505f358ba621d9a1d11d082e7
output_heap: 03ec6f3856c9f156ccc243dc2183299c3e273470
input_heaps:
fa72548ea64381a3258466aa0d212c84096a68ec
8d1621b83c6b83f04a9457e06e858acde63b0083
e7b90aac54efecfd846c225ab91f6f0be296cabe


