# isabelle_session_info

session_name: HOL-ex
sources: c4d64b55ef277f5bb6ebd751a1f87ef8db9fb5c6
uuid: 28ea7c54-6ca5-4fa2-b11b-3b77d4272bd1
input_heaps:
df967e564b1dd685738ef86cd0afa6dc9321f892
c292a17d3779c1055ca2caeaa6ff13ebb8e1ea96
2779319898a8d1e1b25bf653450b50be2b524a7e
995d89955a4ca0af5666bcdc99dc0a120af3fd96
f114abc8f7f079cbffe2c4f340694d9281c4e635


