# isabelle_session_info

session_name: HOL-IMP
sources: 7af5d71e8de6e765b4605ccbf332e215cc8c2060
input_heaps:
f7b4b33949eadf68a640de5d1913d11bbf106da0
124babcbd0240873887a6fa5acb6690168ad45f5
e281d9a67ec1f1f93a30b94ffdfc76c8fec76319


