# isabelle_session_info

session_name: HOL-IMP
sources: 580125845cf19bf15e2c06e1f8f1c95d7b9fd1ba
input_heaps:
42368fe10ffa76847404362339a6b2b6ecfa14b3
7e5415f15f07a30db173edb5eb67a40510001ccf
cbe12f8db6624bebeb649ae7a82f7eab116c52f9


