# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: e6b7fa11af9a90d3f8151e5de2cc9a552ed4f04b
input_heaps:
994367ec2d1c78d3b943554e9d9b199959eb8dbf
b8874a0591f2f25a4133661dcf87d56ad6cc19e6
ac7c6ef84644827de92d97a13cb8360f54be4a58


