# isabelle_session_info

session_name: HOL-IMP
sources: b6a2a6ab9304e6ca430b464f5b7b2039ec2d9243
input_heaps:
6f996ae759a0b89fd441125c40850611f02bb4d4
6a68b91616aa56bc8b0d5f5946b5703daf60125c
8031cd9d3cad52496e30b3163c73092ee7a8ecca


