# isabelle_session_info

session_name: HOL-SPARK-Manual
sources: 84f2bfd24a2b959b30ebcd7757a69db550279f30
input_heaps:
d50d23da2fba2fa66eac370561c930ef78815f64
42ad9fe34f8eb64ea2663c9e76a55f6c21a58507
4c5fe32f4490f22fec312cbd6e63b3c2fffa920e
a15ed67bb2e02d0cefa972a7a07bd44485da739a


