# isabelle_session_info

session_name: Goedel_Incompleteness
sources: df5a631f2251e0327ebd86830fa2ee1fb2fd6e0a
output_heap: 93727bc3b6bad6382b9a6e947410a6273ef2a84c
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
8af16176c691e60d68a39754f719a7e10f175895


