# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: d96b5c21692d6f793223cc5185830b9f7b2c6c94
input_heaps:
e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc
976e5be91d6c7e38fb802dbd687a708c831185d2
f8615e0f9fd21380a30b77b96f61289100ca82e9
5af12f82f9a5e28bc56ede55c0c5cfb4c7c35e94


