# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: bb57ad023c57ba9faa5ca8313a0425fc410f42eb
output_heap: 7c95dd9dc3c50a5de474bbaedff7c326173fefe6
input_heaps:
bfda3f4d86d49fd6800d54a9113d467455da22b8
c1d5446aa499fb1141fa91905c27dc8090a7a6ff
ef13be9605b429689574dde55cdc7ca47244925f


