# isabelle_session_info

session_name: HOL-Nominal
sources: 712f30214abe7594a093c05a4aa56aafdaece52b
output_heap: a390015e790ae3e8cbb580fa5d055016bc9ec46b
input_heaps:
e0d216aded3648c584893a197547a4e0a95dade9
4fa8faf444b48f686c8bc7779a09402ae481df68
5b8aeccb072fc34aad73ee1b04b4d95e4c76651f


