# isabelle_session_info

session_name: HOL-Nominal
sources: f5b4f33465aa4484a411decd9bb08e90b87b31f4
output_heap: 5e7d7ab30943fd73b508d1c508bbb075d8b3683b
input_heaps:
00ea09bdec95d2f60a2d5101a53b5d2bb8a9550e
2794e690bc7c789dbf80ec81181bde6bcca20a2b
9f37ba80bcf60cd3b5c3ff0ac6c01167d1be24e5


