# isabelle_session_info

session_name: HOL-SPARK-Manual
sources: 33ab3563918504ab38f19f535ce74f1c1f8be217
input_heaps:
daf53072a7b7da07dacaeec0891eaa6642c159c2
e32a9e161b57c989291c7f5fad06918aacff06a5
300f15c43011b902a758f5ceb50d165287013d00
7ba2b23814a3dc3f6dae202b90e278b9e4ab03fb


