# isabelle_session_info

session_name: HOL-Nominal
sources: b697dacd984169ff15eadc9bbe2a16e4a912a374
output_heap: 1c5b19cb104212ea2bca286b197904ed6ae2cc41
input_heaps:
a8d2b2957cf6386ef71e6190a6c8f3ffdbb41229
d359bf5ca56e584aaaec05c2cf0421ec40e1dcd0
6079627d7d05db72dda14392cac7f6be75c78e42


