# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 80fb5c6fd832c745fa2335777b3c4fa6c2c435fb
input_heaps:
3e7cae349853bb3f654071d127673716b1e97131
e76faa548233303457fe1f8acd3f956c35127c42
9311f1d8eb0f99364238ee557cf2f49be8f37c2b
0b6c81f8cea66092b1b20cef643fba1df0406792


