# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 088862f28c8db5484f48ecb6e27e70b0c25ae5a3
input_heaps:
61532b7245075d4ea33812447b32dabbeba07b4a
3994299fe9a4f467e063bd0b975546ec5a4970e5
f6a16fc50096c15ff6291c29804066232f1652a9
21e617f96855b43134b8a0b2bcfed27c942eb32d


