# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 66d6b59ce836e6ece0962c948836674d844970ed
input_heaps:
4b2e4ef84f2f7c72f1d619e9e1af08455389b338
22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0
e15c2c7959152609ef6c694f15765d4c2b0066fb
eef88d063077734e230b94cc74e6d2c0e4e5c439


