# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: 91b28dea11c0d6e0733fe83773b804a5806f0fb9
output_heap: 2e271bc69fba556723bc5f897c1299c23d2586a9
input_heaps:
2c47922654272eb4a217010ace00ef249f60f79a
f96e8514bd254f1fcb3e1d6b3a68cb0a3f4d2fba
fe2f694165c1213bda24b6bdd0de5b8d99a2119d


