# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 3e87e366e0dc35ea4248d30562fe7ab85bf2186e
input_heaps:
244fff9626586a47cf219a42d65621cd04b99d5d
ffc040b6ffcc8a36a19cb39cf7a22fb8637d0a4c
c536df37167792c1a838054960ddf87f0f4adef8


