# isabelle_session_info

session_name: HOL-Nominal
sources: 2dd02f7cd62ac5c4dff9ba5b16c909a8f5b5020e
output_heap: 08164363d3ab81ce3327caebe05036809305f10f
input_heaps:
f7ad79d6f9e93f2b021491a660edb894fe30c4c7
88df4aeb5c420811fbac53319f632128b160127d
ec871d64a5a450a028ade00a5fe87e8afacd1c01


