# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 2d853113adfa5a434704dadd4d2fe7a612050a39
uuid: cf8dc725-5032-4411-9047-c4c800998431
input_heaps:
4348ecd95d08b83381d65d778dc99414fdfeb2c2
a77f4df9e49ab5de749eea6768f2c7722537ebe4
6b07ce30482a2a92f5c014cd308a966d1d6d7923


