# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 9cf927d34eaefc78eeacb9f1515c2dfa7eb4043c
input_heaps:
e0583a0ed15dcfb555474c531eb30e964565f3b0
926329a23c106a798ce76474fb0b3f351ff73480
46fd10eeae2499e94ef2d629be761c1f26511d19
15300765e729af39b7200a41a8a5256213c2d5a2


