# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: be61debb2ba8f263f19647d76600c056fb3b6fa3
output_heap: 26f2f8427f64888ac97f89223ce3fb1f7ea43ded
input_heaps:
e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc
976e5be91d6c7e38fb802dbd687a708c831185d2
a63742c749fa990fbc72e4972a8e6e8298291f00


