# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: c05345bcc64d6615ac5696736400c99b343cbf21
input_heaps:
9b4902f8e8c2cff8739e12b432b794bca1b63c5f
bd7d4d62ea14622c8855a61e25906a49ea079dab
276ca9e24af8c54894fb6685347c924668074da0
c089334c54e475446ae0403a6ff1eef6aa006ef5


