# isabelle_session_info

session_name: Word_Lib
sources: 21fa70f93c5e4ece137d00d3144d4f9fabdfd223
output_heap: 6ec5a074f88e21307c28c2c9241302beb5a00b5c
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
f1715b405e31ccabbdc6fec58464e458364e7dc6
04e2628ece6af1d725778cf37e5368e06983deb5


