# isabelle_session_info

session_name: HOL-ex
sources: c4c2faea172dac6bae05f4bbcbc0a0f9d2a6747b
input_heaps:
a61b507f41a53faf272c6071fcd8d5a7bd20132b
33bfae3d80b5d001fe17b2635b3de728081f0601
780932cbee63133eb07728d450068427595acd7f
972ac1897c69cb9f96b9dd31e04f651acd51d967
2eb4ac04f2b34d54b9c954c311026bc8c962aa9d


