# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 67411b7ba30c43e1186a6824bfa18932e2326515
input_heaps:
ccf9b9418e9c76b5688e2dd3ccca778f920a9297
2b81ca4de31fb7c354e77106786e7248d054178d
e940e3c650b5eefdce362ea955b9eb74b63abc13
133c43cfa2f2e9b048a9bd765ccab3fa849b25e7


