# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: f54e80602e2d7578d3bb18038b6b227646bc2dfa
output_heap: 580776535875c657cd89f292a44125aacd8c2a02
input_heaps:
eb6a70a7b1b746d302985917a82b36446b14c861
da252e2db12738a8117a865130a40d569898d3b3
94e8b0ce2d2a10e5534a59c3d7b203627baadb21


