# isabelle_session_info

session_name: HOL-IMP
sources: b194c7d7fdcc53e3703059f6979a47e45f1a497d
input_heaps:
71273f2b5a292ddaf873133309c34b5758374be3
b75fa78fe7c55a0d5d72a19c39ec72148e2d4f8a
d6667ded7f382587b967ec7ac2e26bdf06a195f6


