# isabelle_session_info

session_name: HOL-IMP
sources: 6f1f02627b6c93e1160529e3df0ac3c6704e40f9
input_heaps:
8a4fdc11c1dc5c6543cf017ad94919533cfc18ae
c5ddbd426f3bbda06eb7d85049a91f0bc04d57c5
615b0ef5f2529d8986ac3aba946b8edb7b350c6d


