# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: bf2934480035d4977b69caa574afb0d1d5392823
input_heaps:
2c79d3d54810032b527670dc13f3e7c0919e7d5a
0a6bc08b09ab01ef5fadd0d577b4644a4a0ca9cf
d2cfc14a4bb7a17f802fa9fed29600c3fbd98cd4


