# isabelle_session_info

session_name: HOL-Lattice
input_heaps: 30107fd93ce37db2bdd67b83360028ac0c573143 925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76
sources:
16b52f967d615825912c54bd5a9895ab3ef4eca8
cb01d2951f4cbf33cb7f7a66bbd9ae5d29f17695
e62f79514cb196d4e398aff2f8f7f1c2263b56ea
f4d0b9736f0a41997590192621c85219a34b82d1
fdbefc546156f1355325b69d51134ac2cacb17d3
ff6cce8fb26f6e81e78bab131fc0aace6c9b446e


