# isabelle_session_info

session_name: Goedel_HFSet_Semantic
sources: 4bf59f9e385c8d9dd6be25988fa380c28f402f53
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
8af16176c691e60d68a39754f719a7e10f175895
93727bc3b6bad6382b9a6e947410a6273ef2a84c


