# isabelle_session_info

session_name: Typeclass_Hierarchy
sources: 7ad261de887845222a676d2d83511818cb4fb57d
input_heaps:
9f7624067c9c5a93ecbf4163df24f4baa96ccfb8
980718f4f514a820453424182546260094c53e14
6e2adda8477a740b117c8eec41e6ef24a12f74b4
0890d627d564244b6229313863e4eb5d90c8cb61


