# isabelle_session_info

session_name: HOL-SPARK-Manual
sources: ae5ec22c5b33ac446ccab4723de164047e8a71ad
input_heaps:
ec38c69ced9abbac5955142ebffe44a25bf3d7c7
ec19d5c86bbd8efa8e997b4a18973411183d4768
c8715f1a10bc026f8652fa3fd5924a8c6c56b8b3
03b12e656424be1f7ca21b695350b3577701eec4


