# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 89fc0bd9c0db1eea881c6104665a50f251413f96
input_heaps:
70530a60d7a1ec8e16f4035f71956f8b73a92183
a118c00bfcc49eea4ae117e80d0baf72a5a326ca
4327b9cde1f8add5be2245519b4c116b644fc2bf


