# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: e3de9d47163a3e63c466e4fe40a9df80f3b36548
input_heaps:
8fa5df165501d3029bb2fa72694514834a8a60a8
d5ab31b7cfcb77d48540389ba5082fdc279c7301
830cb74ed00565ecb3e44a4c1f15548805d40dfa
d719980031830cd2e21dd1f45e094e12fd830573


