# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 48e3f421a686a9ea6c4a4926cb9e27b623563135
input_heaps:
3ae2375acf5ad0714f3a37416d1e1b869b0d64f3
83c11cd2d2233ea3dc1e858589b3d86c6d162e2f
13b347a244cdc8c0ec7a9d77847ac2a5c0fcd70a
669b4b3fa18bcadaf15c592f9a2d793145e65ed7


