# isabelle_session_info

session_name: HOL-Nominal
sources: e80e5b8fe01b998b69777b3653f61b3fff4a03aa
output_heap: cc13942836a93eea535fbfdf7ef9a196492ca672
input_heaps:
72cca0904208fa240fb772d4d14dff23ebcd0242
8f015da9fb20bea689bd130164efacd685956ac0
25c8e78f4a89f9d7fad0c4866d60db094405bb24


