# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 606c3d02ccad0799d7f7197c8c8fc4a03c0c2d81
input_heaps:
6cc894aa27961594565a36c702fce7267b225b4b
637be1a2699b13cd4d4572ff61c3930fe237059a
865819676f3053d7f1479fca42b7f6a9c692f674


