# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: b0f23f3a80963ba076c1ebcede949721f9b76d6b
output_heap: 4a5d181fc5336a7189b01e4007e05de8a4dffcde
input_heaps:
ab8738f36a5910b081a8af85f9c6bcc719678f27
6b267e02f6fcbfad775a6749db140d0c2835f978
0d64e16e8f7e955788b1397d432e53d735ae9b97


