# isabelle_session_info

session_name: HOL-Nominal
sources: 5aaa3db36a557d067179f12642ea8eb85e460de3
output_heap: 1661cb97d44e83ccb5744be3e7ee2bb5b45d656e
input_heaps:
81d1fd0a308fd45942f10777df17e6592fb6726b
920b8c66b9a56779b68aa076c35dc6ab8473e7c3
edd8237c18782b23a2e0f97a65b065bba757041e


