# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: e581442256e0d307af396e4896f7f0a65c6bc0a4
output_heap: 2cee6c11841f91e6b4cc6988c81b2c82974525ea
input_heaps:
b6a06941c7f4d32a9ff0b780ae34fa263f209f1f
17c087a835d148ead0faf3b05e4801803be6efde
e19fd855d79a722189e435995b1ccfcd1bca3848


