# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 066c6f96edeca10e200b37e0ae28995cfca398f3
input_heaps:
181aae7d465d5494ebe895832d6bd3b131b73565
e55ecd3fb2aab56b0163bd7985198bc1847aa93f
820b0774356d6c074a134661734522d627631228
837178cfebd0c10254bb0d24eef3a4c3848a955d


