# isabelle_session_info

session_name: Word_Lib
sources: 6a5d55b81a7a3d17d9d9c2acc8fae11ecaae471c
output_heap: 9b94fd7b91e92e061db8672cd70cc40f5a3178cb
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
62c6fddbd84e1259c96caee5efb59fa18f6a65d1


