# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 65b92e0ced37e7116d85c3142bc6b57c18c702fd
input_heaps:
c3c66997e101ae0d4d60e2015f416735a6604f5d
2ab3dce101c373e21ec100743fd5206a95586409
4cb562760b0071952979a93a2dc25a045c1c7ba9
5e3af61ec4328747165d19ec795b974f5ebefcfa


