# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 1727e5986ebd3f51f85ae0c1b4993a5b4ab15f5b
input_heaps:
3af822fee716c8c3f7a258f5d449a67bb4886bf0
419241d6c416195954afc47f066fda364f6dc3ed
fdc03ca952027d0bd33dc4c7de67a23c01f4643c
886ed2786eb538db8032964250226d60b89f7d3e


