# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 1727e5986ebd3f51f85ae0c1b4993a5b4ab15f5b
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
f04b6a6c33ad0f2bac00ec27566d13b96a6832d3
c45d0e3f0ce13aeed7a74396982413876fd518e7


