# isabelle_session_info

session_name: HOL-Unix
sources:
45f3aa0b751c57da1400acec441fd85b51639ad8
a7fbfa86d7a8cc469388fae396b1be315eb3603f
aa408b872636f21e49cc2cfbc24ef0d8138861e6
b9bd85af6656948cc0c40b4b06292678b0a360c2
e28c86ac4b7163e702238f89b4ab3f6326b78555

input_heaps:
30107fd93ce37db2bdd67b83360028ac0c573143
925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76
9eb5094ea5c56f5f0e417fb357591e3e8425b5d9


