# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 649256e7413f5ce5cbd843f2c8f517a49f99a275
input_heaps:
848658d617e1d31408814b70d854f0969b4d3dd4
982c966f6e75dd78217f02ee347fdcbadf6f26c2
d917d16ccc38ba570c12297f3bb3196d70f93486
10209b3320cd8ff72512081b73c4a3f10cf65364


