# isabelle_session_info

session_name: Goedel_HFSet_Semantic
sources: 5e191e90d5dfb2357cad92756f353b4b0877bafb
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
4182a48763908451de8961309829ff336f2a9af6
f464c42607452232245573c252000677e0fa127c
23310ecca3fa3d66e273f0e065de2c97885d2a7c


