# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: 88948dce834a150a25e166e015e20bf003bf1f9e
output_heap: 61566249f7764bcaa286a9b521c0df25fae31111
input_heaps:
b5c424772a2a5b40f2f68f25414695f3cd309066
4421303c0db3669d059ce12e56ab74b4697966f2
ea164186239b77d6cf8a77dbfd65972873cb3e5c


