# isabelle_session_info

session_name: HOL-UNITY
sources: 8e1567ec8a16e29aeceab2c75e35b63a30b0802e
input_heaps:
2b6e830346a776cafac292932ffa567cce45fa5e
d413af43dd20817cd93b29090cb02323a6fe03b6
cdc85a381b44527fcec84c30593cfbc67f10657e


