# isabelle_session_info

session_name: Word_Lib
sources: 7effa74a9bc5ea064c698ac725f3edb4f3e1284e
output_heap: 4df1b75652a468419358529841a9d33f1e3cd755
input_heaps:
a6e14f3df5685a2cf70838105a1d52553d7e5c21
7e91a6acdbf094f8bcc460b702802d7d8cfd5801
e7def96da553798171c906d1581657804b24d1d3


