# isabelle_session_info

session_name: HOL-Nominal
sources: d429b8d28a568b14a2a64b1ec00b61c040ad2bd2
output_heap: 9ca1f330beb3a0cfcb9f1a5042c15eacae2ad713
input_heaps:
6c51283dd05522a806b28d3dc91f24fbfd1e774e
f637bd9bb9fe8f2c1a8651fd48e5fb645f7ab1c0
ea8947358caf8bce8fe84a381dd04617a23e9278


