# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: bf2934480035d4977b69caa574afb0d1d5392823
input_heaps:
32b9ec70ea049b767adaf0015bd3835a109dabc5
bc84ff3ffc01031739db0ee1618c26d14f5d0c65
d0ca79b4a7bccecdc042f79889d06abf0a27322a


