# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: c8f6cd3d513f6b250fb1ee6dc6751c559fbadf7c
uuid: 358568c5-3f07-4b38-b156-d3b4e5861e40
input_heaps:
cc0a1e6bf0a67bebc76a05283bbaeaf825c84028
0f6b10629e7cb97327ec14b3a1d38cf4256e1f5b
2ec606dc4c9395d0b5b3357729d7dba187537b7d


