# isabelle_session_info

session_name: Typeclass_Hierarchy
sources: f091c5270810af7413a6268933a371c0699b1479
input_heaps:
edac997306bdbbc7a1ea2002f2641008ce6aae62
b77918cb16b79b554f672156cebeb1531c9272e3
6f75f36220cfd6293dc7135b60e38814cc85b7ac
f8514da6f9f53ef836328651d7f58f74849e085e


