# isabelle_session_info

session_name: HOL-SPARK-Manual
sources: ae5ec22c5b33ac446ccab4723de164047e8a71ad
input_heaps:
7cc5d7b67eefb3145a6bd031e9e428122873dd58
2b38b21bb020af401d93ba78cae4d9eb8cec724a
207d1605a1bbd91db1a9bb93408f6e2accd1d0de
ce4b1c55702f939c22137d8f5f12de0ed8f7fe4a


