# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 4c9c6feffeb614cb3dd1d46ed616ea27bc74c6bc
input_heaps:
11feaa6b69b3c952139da2ec72ac31efea97e58a
8b9e2980a54ebcafdd93dd57be4b4135e57e3a72
9893e0cf7b2ea472250dc03e54bae807b847370a


