# isabelle_session_info

session_name: HOL-Nominal
sources: 4afb1c3fb07a54588ee75c19554913388405a9b1
output_heap: 2fd539f2d089c6c313d156d6c03595a562e36b35
input_heaps:
c68b30ad566b49580fe13839f7a432f3076bf46c
c261812e8cc579b00fa6c102259eafdf6ed9acf2
5c42e8e60061297de4820761c0f5554d67ac5643


