# isabelle_session_info

session_name: Goedel_HFSet_Semantic
sources: 325db98480e37b48fda65296359d26ab9ea62669
input_heaps:
7527c097151a176fe2b7115e283a3ad22f3623eb
46d6d70bad25fe7d15998c1bfe8de29513678f57
3800a1f3c9725709290adfd46756bac783f65b5f
0b1e566b70afa33cebb58c8a29a32d6541632149


