# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8b76b1e5fd9a082232bd574b8bf1254779af06b2
input_heaps:
232733c8a37afc91239d3bfd839a69a07c1cc6b3
c5bed75ffb5cf403edad3c8be487e376297b6311
403e62d7e20b43c0c703d3be54a1c0e3312a2424
7ec42bacce7e30bacf5a9dd4011995b7171f75ee


