# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: ce803199ccffcb1a783003ab313d0dc7feac9f0b
input_heaps:
c94af6ee79bf584a92bbeda27625eb7fb4c27abc
541a859f017a0c4bc5dc76659ed8f8efab41527e
5026cd2aead93073ad3d4f95149405d611701141


