# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 6e7952409cd2f1d169f1de1c9bbbc1504194e7cb
input_heaps:
63b1f4bc87078c4a404d2432b7da6c3c391c20b7
6b5716f4acaac0c8afde2d74e6603ed46b759ac9
f53d2cd4c8fdc28548614d5662a4e9ad718b3759
0a3f130080adcca4840f6860d434b59a293d2427


