# isabelle_session_info

session_name: HOL-SPARK-Manual
sources: c34c32bd2d9e4e3c1d04dc87ccd88cbb692f36bb
input_heaps:
071f7fa30665cd1599ab0688c2ebc3134f4d53a1
9735cdf9ab52c04e2b30aff2857f0646f946ff29
0a297335496f0fa216684ce6994d5678f153f47f
ed2b518cba04ceb347c079e9fc79e6d165ae257b


