# isabelle_session_info

session_name: HOL-Nominal
sources: 542547a7890f3b316c8ea9a39363edb3da2422ae
output_heap: daddb1e573b55364c5bf09d38dc021a8b48589ba
input_heaps:
1b1b23cc4f026b8efee00153745c0e90f4bba172
6b2c41334cbdfef77e5fd462241eacf1b847aef6
702227a203ac9c30e306ece801105278eba7c7bf


