# isabelle_session_info

session_name: HOL-SPARK-Manual
sources: 40c4ccf42529018f5cc1e7e1794e00d4cda09e63
input_heaps:
98dd477b080148668828b0f67c6e8a1d9708b3f3
2dc2b5acf411764d9a49dd03e6f20aef615ae67d
bac001b6eee0096f18b9efa5a71069449d55a29b
de7e55d0882e3b54de8a00ec92f3de917f72c98e


