# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 891fde2801f603bdf64478c8d88788ae7947f6a4
input_heaps:
4f89cd12fc22a65e55bef97b3448b7e615a544da
d52a9e3ee76f7778dcd9aaedbe9bf47fd4344515
7ff4e61add5bba5717a2374cd87229648fb08989
39b7eb23d2c3aca9dd56760436befe264d9b5d2f


