# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: db9e932866b03c30f7bc6dd8e5c29d30db3d9fa8
input_heaps:
535da6560c7ae77bc6053e94d5fcc737870d4227
f4e9c31e6c0e2595248a604a7452c52f78c6a894
7a4d18ed259879fc098d819aa6675da2fbc80351


