# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 138694483192f92b89444653100020858aa77f54
input_heaps:
0d299af725467f9971d4b5bdb3afa1308842af77
af5ce7345e4750b754492237c662f5ddd9ff936a
d7a3e5c89ce5d4df7e5b3f1633027476403f6d0d
1a1b1fdeb5f301f59ba9c646cdbea61dbba09215


