# isabelle_session_info

session_name: Word_Lib
sources: f463e6237977d84fcfe505f02451c65c5872f574
output_heap: cc539d4138f1c39b11ad6a4de07a81df2894ed5d
input_heaps:
44ccf15d3cabf1d8cc27d7af9fe5646307c6887b
e18ba4743cb52871247a2781b1eee86c87e47f56
9f9ec9a9eb179d538c37c71e17f171e5a289c4c2


