# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: a824acc63988b1b3823c20dbdf2ca37ff2c74428
uuid: a2bfee47-0563-4994-bd42-879d7e1c8e56
input_heaps:
b9d282957aa223601d52f84a817ca607725d2336
c178c9777d16793434d52b0438eb6f86f2c7d3c5
1bc30bca71fe536514610f66fe7694e103782a66


