# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 3b9c8af88c9619a02c36237e6f13976187a9e2f1
input_heaps:
0a23064c34709125a075cd68ce8f561e647f6953
6850f216aafc89fdeddfe90aae02e1cda8df6a36
d4244c8c8b45f34e99d88ce9efcf11cfc8d66586
48cf389c743b18f62fb2c97cc8569d51db3fd38a


