# isabelle_session_info

session_name: Word_Lib
sources: 489f3737211984d1f92ec75f2330e7015fb8eb11
output_heap: aa38f92879f2d1d60be2d25e2aa34c1474005016
input_heaps:
d2ef5c31b6b3dc4759222e80e0e7908f5583284d
0f37cc81934b398fa192c563f955fea88fb533f5
9bb40e9e64d29336494204c973699c384ecb3d8d


