# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: 01224251b19e147d4d8fceb025740fef56bc18cf
output_heap: 30ac36e11b53b68322b3db985e2586b64155c6c4
input_heaps:
ccfe400cf73fd62fd12acb34409977712e22d6e5
10dc6874cfc163bd3ebe399c64a6eed2318ef64b
25b90743d1281bfd1bba7e3f4d92443f81c8b32c


