# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: bd5bc692ffb07382af6ab6e6da6efb998a319561
input_heaps:
39541dc42102d8fbdda144a4ee678e8e4448af7a
6f38a31669f34b20d338d9eb8d66bf9c967db531
b58adccea79275c6dafb2db7624d4a669ccf39c6


