# isabelle_session_info

session_name: HOL-IMP
sources: c5bcc31d1e1dc4ee9959b57ceb1adc2e6d180e7b
input_heaps:
66bbd849714724ffd8c8c735b713095926828f3d
c15c60e1d6031ed7060324e1cda2aebefad74f16
ba7f953bc40fb6f1014d21d57cc5450304130d2d


