# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 8092da6b075f712af22c293554a54872d71cace4
input_heaps:
ccfe400cf73fd62fd12acb34409977712e22d6e5
10dc6874cfc163bd3ebe399c64a6eed2318ef64b
6105e63335a1861aad90ab084da0361109d9f7fd
89b51c5a0077dc8393e36107e5e32f8d68e2e069


