# isabelle_session_info

session_name: HOL-IMP
sources: 1d386d7174b94a8bbb27da88ee5ca145cadbce30
input_heaps:
a255efa1aa457bdc2434a521272c906f02d8e87c
ccab4b5307858796b5c1afaa8b061fbcb5af31a5
66718c4027f1e506ac8749ff44d7547d48c01640


