# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: 2fad3e59d3e09172fe649889e7ca0560f4cd92fb
output_heap: d7779c4c8dd5e578f77fa4f08932b14b03e4f2d3
input_heaps:
61532b7245075d4ea33812447b32dabbeba07b4a
3994299fe9a4f467e063bd0b975546ec5a4970e5
8f4ec66b19b03b756b2e7c2505a372d748ca1c2d


