# isabelle_session_info

session_name: HOL-Nominal
sources: cebbb28d280e7ffcf0eca7b8ee58a428d92efc40
output_heap: 55cb6cdcec4a2e2f5aab2887fd1dd3fc358badf5
input_heaps:
b690dd9b4995811857c4fb640c8853723b58ff28
2f035b4a19bddcb32b1e2a5fd47e81076fa7fb4f
ef28aa63992d38cae790ea067cfbf614ad2b6a81


