# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 7a525f9df1b69ff0b2205ea6c652ba76599bb962
input_heaps:
878f3db57e9f610cd04a9f038453dd299557ef5f
0baae9c3cc55bb46e0f3289b05054103bd7cc2d6
1a8d574be5a82f287e09aa698feab949916e0b6f


