# isabelle_session_info

session_name: HOL-SPARK-Manual
sources: d2a44bd0e8d694b49f2fc946d817d304afce9821
input_heaps:
0bf2a27c0ff6a611e74bb01f6f32875f555cab28
92784c842d19725f296c8ccac91815ef43f559b8
8445186510c20911744e8db6a4d0018ca811fb5f
46082e3d6ea1b7f406d90a8dd28c65834c6a1146


