# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 5fad14181f953cf1f88aa79bfe0e899e91c00909
input_heaps:
a61b507f41a53faf272c6071fcd8d5a7bd20132b
33bfae3d80b5d001fe17b2635b3de728081f0601
780932cbee63133eb07728d450068427595acd7f
c29101cbbdaa214a555c8f37e295f5b5a5deba06


