# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: e9663a7db9d64d5175fe4b0655e6b4ed962ace7c
input_heaps:
04546e13b3ec7f70b074138ed2f4d8667390e734
094d1060cfdb72ebd3fd1291784fda6152066b69
fd74a6dee3e5c7237bf3cd94c82b97c12c86e062
50729c8e9a04a9feb8570671dd8d1bc55b17a270


