# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 045962e7dd596c6b05fdee70dffa6826caf6e802
uuid: 44142e8a-17ed-45da-8604-962c16047b60
input_heaps:
9f1ff5333dab6ca9f4b94cb84f910098ee70abfd
d29381ace5f57e0cc9393a9203c0ee853d6e55f5
1b2a37f85fc2817a0bf87d8174892b8b7ffe0497


