# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: f3f974688295d8249468cfb236890a0d903f15a3
input_heaps:
848658d617e1d31408814b70d854f0969b4d3dd4
982c966f6e75dd78217f02ee347fdcbadf6f26c2
408b8c7f4c3d920dbf87b341e237c0a0257e5751
b68a090f29c698c6be2eb1af80267f698bfade0a


