# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: c09898fe0c71aa8401360460dfe55708de59e422
uuid: 14578f3e-680c-4f2f-bb89-786dd97f45f3
input_heaps:
94e2b66d00b77875014d997ac2abf11a8e903784
18be5846271af03e56b22434e2d70261152d1227
acb899b8d5a9ea733c3a8298a130dd7889cea876


