# isabelle_session_info

session_name: HOL-Nominal
sources: c7626f30fb5359e6578a54f1e827ebff64d6a688
output_heap: c29101cbbdaa214a555c8f37e295f5b5a5deba06
input_heaps:
a61b507f41a53faf272c6071fcd8d5a7bd20132b
33bfae3d80b5d001fe17b2635b3de728081f0601
780932cbee63133eb07728d450068427595acd7f


