# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: 91b28dea11c0d6e0733fe83773b804a5806f0fb9
output_heap: fb4d807d2420d757e7c4bf02c32fbd874d188a74
input_heaps:
408130f68e215ede7936ca4ab0eafec3d85e645c
f28cf806c632fbc2897c47bd2481cf58fa5266f7
86e38d3b5c0be1586f867242f20f2d734f9551b8


