# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 7a525f9df1b69ff0b2205ea6c652ba76599bb962
input_heaps:
5c7f58afeef8c5dd4bcfd5c31cb13ea46e11f362
8ca9ee974323b5c8c0c6ccd32fcbeea7d0214f8d
2bae485f411ee0482b91c292b9baa59234e1280a


