# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 09be4d2d1adacaffc760b1a6247af1397b942a4e
output_heap: 7973ffb3896e1d9479aec59e880fd319cfb0b9e6
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
961d7cfc19b96122dabf28304bf6dc45da32abbe
15059e4b884c385e3a1f4555bee098335d341964
97b4d00caff503208d36e9820df21639750dbb45


