# isabelle_session_info

session_name: HOL-SPARK-Manual
sources: 2cdb084d3e4fb9d543f65165cd743ced7bc7c047
input_heaps:
ec4f72521e1e679fd5cff6fa91e397c5873c6432
dc95e50d9809fb8249d7a6a630b1f18cc52d769d
9bfe5d1db472f438bb6e9d791ba26eeeb7101ff5
484a618d82b72a6bd0566a1fdc4aedd991191e62


