# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: c6c0641134255d4a74e80a68ca1f087d4f58f3bb
input_heaps:
b5c424772a2a5b40f2f68f25414695f3cd309066
4421303c0db3669d059ce12e56ab74b4697966f2
1da28ffa1b7d21a62a4732b46797a7f485f84354
4db96ea1a6ef3280e34f88a7bc143dc3e2ddcc4b


