# isabelle_session_info

session_name: HOL-Nominal
sources: b6dddcb9570cd356e8e5dcdc842b23f7367f4c03
output_heap: 1a1b1fdeb5f301f59ba9c646cdbea61dbba09215
input_heaps:
0d299af725467f9971d4b5bdb3afa1308842af77
af5ce7345e4750b754492237c662f5ddd9ff936a
d7a3e5c89ce5d4df7e5b3f1633027476403f6d0d


