# isabelle_session_info

session_name: HOL-Nominal
sources: fb6ee15c9620d343a10b111b722a493c5bc1af4f
output_heap: b0e136cdf0854f99eb55e24ada2bc531f2646c3f
input_heaps:
c3c66997e101ae0d4d60e2015f416735a6604f5d
2ab3dce101c373e21ec100743fd5206a95586409
7bff3fa0e2742547491888d38b8d3792df636c54


