# isabelle_session_info

session_name: HOL-Nominal
sources: 123fdef12fdc6a5f05e6294cc48198c2fc7a4e5c
output_heap: 29aef44f8d25b67b77d4dded56bb72633cba8502
input_heaps:
77140aac0dbc34a2951ed06728ef4449a3d3c2cb
74195f026dac375ce6b287f38a203688d292d065
24b58e9ecf556d0f1d2f4ed7623dd9c910c25bf8


