# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 18e018d4a91855c30c371fc4f5437b57e962a301
input_heaps:
10764ddc346d5177be378b761316527db367ec3e
a0b11f9c133aa49ac228f451be8e515f846bafaf
4da24bdea1ed8db5820c4f29605d314f12cdfffe
f1394b2dba98ba5b1916d7ab8c1d8ae077e131a6


