# isabelle_session_info

session_name: HOL-IMP
sources: a5e5e3e68b4a5949619f3efe37bc7500e56bffcc
uuid: 5ee028ab-1259-43a4-a191-a64558d24102
input_heaps:
b9d282957aa223601d52f84a817ca607725d2336
c178c9777d16793434d52b0438eb6f86f2c7d3c5
1bc30bca71fe536514610f66fe7694e103782a66


