# isabelle_session_info

session_name: HOL-IMP
sources: 16db03940d2ba406e875a9a75df09aef0a64a61f
input_heaps:
c10b09dfa56051c7fd8c1bbb4005750ae3c154ec
ede03428a5570b13397786cb62185eddba666a2c
72416735ad7c3434f620b97a940548488afb274b


