# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 2af25168fb1be8a440bdbbceff97574cf5361209
input_heaps:
55b3b3b9a8e9044df0be3113e04902f5463b43aa
46e11e8ed5a5b5434cd1af84a26c68ce20355d26
62f95ee64bff49756243dcec209d6024aaf8fb43


