# isabelle_session_info

session_name: JNF-HOL-Lib
sources: f9084f3de580b64c79bc35218c4a309a355f7195
output_heap: 97333335f1e26142f379946db279d6cb75ad35b9
input_heaps:
ea26063c7d2b9547d258649baebbcf2e91377bef
86a9c3ac9020d4c0654bf9b98ebef5596b5fe09d
b9602ff5d206049e9189387d43ea79f26820d465
b20904de8defaa40b59ceed0b9b1bb73eac78f04
27d84502dc52155b0ca40b7af08b2f9a40f5887c


