# isabelle_session_info

session_name: HOL-IMP
sources: 86dce104a864ee0b17e684cf8b7601532710c484
input_heaps:
3c46bd8b58900339f0224e9308b09b20a89e5c96
6e62e245d40a14874522793008aa9e192fd80913
24ebde335a22cd2a8de6dca86d3517e101921485


