# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b899783566b19e3054c11be063d277e9d4b2d584
input_heaps:
ed6caa966bb75077c120e012673453f69d500802
269c54a80d587c3b365ca98028240e5f8391db0a
777cf8dd54e76baf8f45a139697e479ae8b5c1b1
ee18b5c7bf0f7b820e98950970c14be541089578


