# isabelle_session_info

session_name: HOL-Nominal
sources: 02ab6298bfa0bc0549acae10795ad7346ecc8240
output_heap: 5ea9c5689d1fd3c1df3e5f406b3df1d7292de674
input_heaps:
357008b0b2682019b352f15558029e5fdc78e3cf
6ed366e7eed5721240602f54453f44d2f0e04ea4
52f61a365cdb0bcf46a3239eb16f67f805f07d53


