# isabelle_session_info

session_name: HOL-IMP
sources: 2d598bb58ea9c67a125bbdd308fff5f75e7e6e64
input_heaps:
339e0b0a0e94b9d23409a39db2839fd5b5739adb
7223a464d26784c3ed2fef948a679de14fae3487
11ae355b7d84cb3e716fb5a71e9937894a5be822


