# isabelle_session_info

session_name: HOL-IMP
sources: e05cf30c2dc0761189ad6d3176afd77b02f24ad4
input_heaps:
a28a6255246f7ec3c5cd9330da6d3544dfc26850
8ecdc4166284eb6c1c9af75e52995b5452e4ba9f
5155941f44c3899c09b9f0c26be9b6ddf8fd1e84


