# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 944dc8969bd76171a4a7c2d4aca232abd00131d8
input_heaps:
6e0b414cde7cbca05415ec6e5bf86c58afea3732
f9895dcd254f82aab3b7e4ca41b9f20af3db58f1
5a12d64970b8ab0431f4abb3669c5c50b300b568


