# isabelle_session_info

session_name: HOL-SPARK-Manual
sources: 9891e36171f2a79de7c22d746927fb14eefad7aa
input_heaps:
5f6b46d75794d7d779141526bb8c5d38bc06bffe
14fad242a862a8a0327553b16251c149a42b3da2
8e00be1ed3d9b0ab180ab77104421a918bf45203
6b719fd4c9169a1b6b67a3ded0e1b9c3389422cb


