# isabelle_session_info

session_name: Word_Lib
sources: cc5c7b4de959ed876e16da602df042e2a1d2953d
output_heap: e6a6adaee17926d209150688eda2d16d09524aab
input_heaps:
ecade5de44e3030e8d7fe212b3de427b98a631bc
ba81f535d1ec012a76bc18b581a6396618f8181a
0885ae2c3f59875f6939b822eff18b192a096881


