# isabelle_session_info

session_name: HOL-IMP
sources: 277b8f1e12b36f2fb5f13715b2b78a59026e7d8b
input_heaps:
68fb0f718111332cca1e0038fa3bdf7dfced8e28
52b08bd0fdd203dcc6e7f24afc10bdfae8e818b6
8219049c242cf52ef75ae93761a25e4425cb2cd4


