# isabelle_session_info

session_name: HOL-ZF
sources:
3c14dc53146f8cdabe471ef4b5c6c52f622bedc1
86fd7da255e0657d15e775a7170bdc58487beed1
91070ca2ed75fa7a551feb0ab60472c9827b89ed
b5cc46d4a62f20ef6119a9851a7ca12f33a1c7a3
d4ce4d0c7f1396605d8e07780c2e270a04a0d28f
f061effe1a39aad1953557c0a1606fc8143f9a30
f5e82ea1c278f91f9937efb26f3b0956a096c71f

input_heaps:
30107fd93ce37db2bdd67b83360028ac0c573143
925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76
9eb5094ea5c56f5f0e417fb357591e3e8425b5d9


