# isabelle_session_info

session_name: HOL-IMP
sources: 45966d1e8d7a0dc92da8e62eca2d1fc54a48b259
input_heaps:
5d5fbfd4ed5fbb1ecf13b49403bac52f32b6abc4
120f0435dcd7ab89f555f527fed2a2195d4e18c3
c81f390fcb8706396242323f2680b96e62b3f303


