# isabelle_session_info

session_name: HOL-Nominal
sources: 5235f5176d6f7850b1673afa2434a2a0a402a5c2
output_heap: 8c54ed8c50f5b8ee0440d47b8b276a3a15e847ae
input_heaps:
3332edf39847f1628d35f5610cfefa768193eb62
cc7658c0667840e71fec6de22d6d5d51b1c00f17
980d86e0f1ac6d5651cf703450bcf028274f1fcd


