# isabelle_session_info

session_name: HOL-IMP
sources: 695aab55d21ff5a4dfb48e99bff5039d254b0328
input_heaps:
dbe489248e523e230cc84de4e3b8851f92ccabc6
eee023a3f0662bb6b233c66e85998a310b77a62b
6bdec92f0757b792135169be6ee17aae1c2de192


