# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: 2fad3e59d3e09172fe649889e7ca0560f4cd92fb
output_heap: 5ad5f8b8b6d3cff6336c61ab0ed249f41fcff4a4
input_heaps:
1770e7d42e284900cf7be1fa0dd3341bffb6e5a0
3748dad1f2adf6ae24eb2a2d4ccd1ef4791b4c46
8d449bf485228cc9b63005d9ee3a814c099de91f


