# isabelle_session_info

session_name: HOL-SPARK-Manual
sources: d2a44bd0e8d694b49f2fc946d817d304afce9821
input_heaps:
ab8738f36a5910b081a8af85f9c6bcc719678f27
6b267e02f6fcbfad775a6749db140d0c2835f978
1bfa495504b285bb8b140491daf53d1d93a6e18d
bb1786fbc9aed22fe4d8c79a8281248ae16ae393


