# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 1c69509ae83eaa76b749b3f9980b9e85d875f177
input_heaps:
03c94d74b41243bde92728fc7ab986b0070bd24f
6d31f412d8e65da7615dd163568a2f61b1002bfc
4c9184d8c0a0db43b9d3bd5297f5bb45e544e22b


