# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: 01224251b19e147d4d8fceb025740fef56bc18cf
output_heap: 6ab8d689c76360206d459fea268283d6b4b55248
input_heaps:
79e36a03a6cccf01470337ebf2c8411e21d944b2
b93bed27caa97c9f4b1f44bbf588fb4ffdfc6b77
93e60a74c792a2bd1ec7d931bc901a4cdda824be


