# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: 9a5204f4e7ab6c6f3f2145ed2c8723839ec6a8ea
output_heap: 0d1a63ff488342e5056f23a2d20f6d1595cfcd01
input_heaps:
f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09
ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf
419bc3b969ee6b96ed4c10ab362b8ccdb1f404dd


