# isabelle_session_info

session_name: HOL-Nominal
sources: 8af7274318ccbefa7378b1bbc7dffb7a026eb40c
output_heap: 306794e2a41bbddfe9ec4044ce3eefc03d69c65c
input_heaps:
a7e1bbd16329c1f97a9de9d6266928053862babd
ea2cfc597a0179042ded7c822c8c5398bd1438e5
c98063d164e97992b50c13b7f886d7d25373cc15


