# isabelle_session_info

session_name: HOL-IMP
sources: c75d0ca001b5181dbdbfb61f80f6ed5c0b2eabbc
input_heaps:
904467ccdfc347b5bee6ef036ef0dfed0d85bd29
b0460f12284c10e5929b92b4ac141578669c1ff6
9f975acad972b699f03fe810ec4b42636972fe41


