# isabelle_session_info

session_name: HOL-Nominal
sources: f2be6f9a5c7be7c884c2bf9d42f8cac6b00e7083
output_heap: 4316c44ee99af287094e06d5e815ffdb5ade086b
input_heaps:
1667ce1fcb30adc5ce6fcdb5feb10204550c27ec
e9aae1d42c4adf660df67523aa6bdbf83e56d019
f1d068c99c2f76c530db5071deed5b4eaab1d8f0


