# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: ba498f9b531e9bb3f37161b647d2beff0266e665
output_heap: 5e6d848bb7d4dc8ee38a79f832c94cf1268ae6cc
input_heaps:
daf53072a7b7da07dacaeec0891eaa6642c159c2
e32a9e161b57c989291c7f5fad06918aacff06a5
acc1a01ff3c9aa58d6357f601c4748f07f6c9558


