# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: 009970fecaf1d1889428071b47bb1f83f6c48591
output_heap: 9caa5cca6496e7250e29ee0687e9ecb1c7a462de
input_heaps:
98dd477b080148668828b0f67c6e8a1d9708b3f3
2dc2b5acf411764d9a49dd03e6f20aef615ae67d
acd1b5a40151b067766d2c39214b0e7386d62cea


