# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: be61debb2ba8f263f19647d76600c056fb3b6fa3
output_heap: 38b22aeab41aedcb504837344b5fddf61a3612fd
input_heaps:
31bf4bac648c51f49408130bf9489829be3fa993
35508bc2877195b4acaa6a24645b77282ba20bd1
335fd30c7bba826813aac0fb24e7ebb1383cdf29


