# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: e1fda50e806a2ed5b7cfe80b27e57375b864fd38
output_heap: 444f35ae24e1f0866564b3ef69d64f6d9854c06f
input_heaps:
a9ba4fcb27c61f2722def1490d5cc6ffd820a523
3e35f1f1494655d736fa0027db3480f1ebe85070
23620354c57eb567d552cf9b0a331e62bb638f82


