# isabelle_session_info

session_name: HOL-SPARK-Manual
sources: fbd31380cd6bf7ae90718d62f01e6f2f974d861a
input_heaps:
0c5a4afe0b9501e0ce9b4d420c798cac3bea6e73
d8f435e385accbfaccb5be9a9486618794bd571c
6295816026afd41e3201b0292824dc57db5eb197
eeed997f432408c7bbfc21569c504c95a42d7900


