# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 4498d059836f482e0210193edb709d659f2ecfc8
input_heaps:
5ed84af47abc05e6415ee3f4ab9fbfc3e91721bc
cbc18ad7ee89e59ca90d637affa8dadaa40daad4
04d402b0247d83750fec84a56120558bdc0bc722
7afc2fd44fbc645e62906de725a072e1fb55611c


