# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 80fb5c6fd832c745fa2335777b3c4fa6c2c435fb
output_heap: 3f4f5c100f11d2d75dfa634b17d2aa0069a3c7da
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
f1715b405e31ccabbdc6fec58464e458364e7dc6
04e2628ece6af1d725778cf37e5368e06983deb5
82604a3a605ad2da1afdddd37962511d89d2cce4


