# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: c3e7f7da8c324032aa7aaf1b2cb679a0a9ec895a
input_heaps:
cbf32b635c328a6095a45f5c01bb1adf119ee7c0
bd89f790ae831acf5d43976dcc41799a9f93a1c7
93efb1abe59deebdb2e4a48467912d651704694e


