# isabelle_session_info

session_name: HOL-IMP
sources: 8b83f9bef9572e79f472975b3f9a0ac91d42bf2b
input_heaps:
3c141932b8eee55445640dd8de30189be8d63237
43760af647e811dec05d47112055a1bf84003ff5
6dcac5334257eedd88b1c07c9873c20446f0392e


