# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0ed10b5369d65d7eff28e679af4634e8677f3ad0
input_heaps:
914dda7ac964f6cd4c94ac1e03587f374a33774d
94d5353df6e6ded67eb48c352ed39e590f1ff8b8
924e7345989fb55d9551402ded2ef62fb8b2c5c3


