# isabelle_session_info

session_name: HOL-Nominal
sources: b99434e436b2f056120c27a61b5fc73b409e70ff
output_heap: 4f1e3384933ba347470b28ac9607ea1c430e0d10
input_heaps:
bad23ddab4c2825c2baa76254b92affb4eb1797d
98b5a5427e7a2db6514648c2f2cf437d99d2fb79
367b6e1edc2fa43f6fb03321163836d4a8ecda3b


