# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: f079e3ac9d3c5a6c849768e1fddab90f489ad6d2
input_heaps:
f84da1efeb09fd4a6dddd2573e5e78b0df151cfa
98f128cc9d5b9ec281c2dbbcccad4799d2c3af76
4ac9d0760ae4fec7561a961e3605e7cb0845082e
f67243f099c0400ed8046d2aa06ff2b87c428452


