# isabelle_session_info

session_name: HOL-IMP
sources: 20392db7083947c1fa8b6862f3b5450e8dae6812
input_heaps:
3ccbed440c9bd7d46a54c67425d7713af8496493
5f9161c41302528b2c07b1beabf562853d8bc07e
3d7d5ad70439e4af8b1c2395188401d8194e4317


