# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: b0f23f3a80963ba076c1ebcede949721f9b76d6b
output_heap: 7b0ea331505e5df678384a718f46addaec867a4f
input_heaps:
0bf2a27c0ff6a611e74bb01f6f32875f555cab28
92784c842d19725f296c8ccac91815ef43f559b8
13eee65bc2c09ea580fa7142d5900818dc646c9d


