# isabelle_session_info

session_name: HOL-IMP
sources: ae27b89c92e9cc72e1a8e1abe1e2cb4c11aa20b5
input_heaps:
f9ffe87081e62dc90c1b84dded3796bf70f05c5b
21f89be667256b1351681022a3ea53b9f18d7259
fae9bb6e6bb3f5afe99b00d88403524421bf6694


