# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: 7bd111330c37ef399782fe31215c2587560405c6
output_heap: b37c9c27b8b5b7e4f312e00ed01751764eb0579d
input_heaps:
5854d6758689c83aab18dd02aba520db4dc6bf79
c08feb1745cb050bd06411837cf1536009c8c293
7c1de0903040091d1e09c534ba1ac732accfb268


