# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8bc427892d68d1da7c7f2ca899fcd1d7ec91b0bc
input_heaps:
5904106a4d189718a398af4707433146ca1890af
45bddc69c5b5116a3b7296b1901d051f8dbd9620
1e6d75caa9d0580ad422031fb2e51bb4e520366c


