# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 701031ab4548d20c805d9e3e414410c1dee47ab5
uuid: ede8ec01-259d-4ab5-8e0d-601b014c71b1
input_heaps:
b9d282957aa223601d52f84a817ca607725d2336
c178c9777d16793434d52b0438eb6f86f2c7d3c5
1bc30bca71fe536514610f66fe7694e103782a66


