# isabelle_session_info

session_name: Word_Lib
sources: f463e6237977d84fcfe505f02451c65c5872f574
output_heap: 9453895f77734e555e382702c0f85435389d993d
input_heaps:
8e317804cc1fbab9a0e9f003ee80317e5adb94d4
0634c582985b1be92fc708eb5be83667c49da2d8
be02216ca4752121ca14e42d01cbf2bb132d5349


