# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 43ca57fcd1bf6b07881d42d0deffdaeb5940a42a
input_heaps:
41dfddd2151ebee28efc9e26dbae12c72d1935da
81c9499a7df86d3b7533ed9c6efc8881fcc10f44
5a74f71d790406720ccd85a97b91e1649b43e916
cfbbdc027d0d528e71c25c44c9c97e099b7737b8


