# isabelle_session_info

session_name: Typeclass_Hierarchy
sources: d5ea714a676f99203c69266b3419a43c8d4d4965
input_heaps:
3ae2375acf5ad0714f3a37416d1e1b869b0d64f3
83c11cd2d2233ea3dc1e858589b3d86c6d162e2f
62917460ae329aea051b66f88fb83e2e90131c92
17262bd0397625e9be734c5f378ff09b6109cf2a


