# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: afed02db76517cf7d579da9ad74ddd970a033a2c
input_heaps:
daf53072a7b7da07dacaeec0891eaa6642c159c2
e32a9e161b57c989291c7f5fad06918aacff06a5
300f15c43011b902a758f5ceb50d165287013d00
7ba2b23814a3dc3f6dae202b90e278b9e4ab03fb


