# isabelle_session_info

session_name: Word_Lib
sources: 6d46a999f538e1d4cf858b28bf18eaff435b82b0
output_heap: 0d693792a8e1b938654f9e6cd7ab4e8c5820513d
input_heaps:
b448280d99dfca3fcc3b756c60f43e37c9f889a6
32c1b1c09689810c1d8958b74fbadf82f0a39e0d
9737b707643b03669bf3c02a8691c9300bb40622


