# isabelle_session_info

session_name: Typeclass_Hierarchy
sources: e45799ba6ae47a73a72b74f6ed85a6a93a0b227d
input_heaps:
d50d23da2fba2fa66eac370561c930ef78815f64
42ad9fe34f8eb64ea2663c9e76a55f6c21a58507
2877564e7acd01abf35adfba190c1e8503a3502c
7f0b68c6e3db4c427088d0ffc4576ded6dbfc76e


