# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: f3f974688295d8249468cfb236890a0d903f15a3
input_heaps:
634a34b0a78430c8365c904b4a02a2bae50a7baa
da3f4711496f4ebba63bd289462f3fdd0cd836c3
b12f886aaf16e26e7bf651031cd165045de48f17
b8a1e26c1e067f42d8070b742e94a0123869d732


