# isabelle_session_info

session_name: HOL-Lattice
input_heaps: 7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16
sources:
16b52f967d615825912c54bd5a9895ab3ef4eca8
cb01d2951f4cbf33cb7f7a66bbd9ae5d29f17695
e62f79514cb196d4e398aff2f8f7f1c2263b56ea
f4d0b9736f0a41997590192621c85219a34b82d1
fdbefc546156f1355325b69d51134ac2cacb17d3
ff6cce8fb26f6e81e78bab131fc0aace6c9b446e


