# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 2bf004a1bff6b61b0a2110f63eb6240b7a5d4b73
input_heaps:
ee6ad39af305f89937086a6f882fd17679ba7ecb
e3caa21a0f45527522c83927bef2cff3e9ca2831
566c0b821690122d0bd09bbd142e8e53fcc308c2
0c2ac386f5c5127017438433fd72a2ba2c3039df


