# isabelle_session_info

session_name: HOL-SPARK-Manual
sources: c34c32bd2d9e4e3c1d04dc87ccd88cbb692f36bb
input_heaps:
d2fed5b8463a719e2f3fe546c701ac5c0e920ab5
cc137faa7d41fea458e730d08d19187f36b2fac8
a7ae2f5132144ef00582c202fdae4071ae0023f8
bd148bc173fb9e16d33685c0505b596735929fac


