# isabelle_session_info

session_name: HOL-Lattice
input_heaps: 014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa
sources:
16b52f967d615825912c54bd5a9895ab3ef4eca8
cb01d2951f4cbf33cb7f7a66bbd9ae5d29f17695
d334522d967a7f98715e5f70da64a19c272c9242
e62f79514cb196d4e398aff2f8f7f1c2263b56ea
f4d0b9736f0a41997590192621c85219a34b82d1
fdbefc546156f1355325b69d51134ac2cacb17d3


