# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: a6a0fef23cd08e70e48e2f2c9bc015bcd791d904
input_heaps:
157872e777819e45a1354c5e9b25a0e090aab99b
a20ae71f22856b1683f32d476fe747cfb705bad9
91ba390763b3fe60926d63291671317be4b23d45
f5afcdf4a423a8361e1a9b0007669c9fadb98d35


