# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 8303af27fd396718106fe6c72c00da33a2a4efea
input_heaps:
db6f05ad5884c3d4b639d9f4b203792d5968e568
8f4009a03cb4dc8972f8428957511cea3c656c5b
2b978a0c263f0d2435e0a22ac2584ab7fde2f729
65b92d3d17207aadbb1ac6dfc8f7899fa6587e16


