# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 5ab93d1ac4593a3223534ee9649219ce5916c3e4
input_heaps:
a61b507f41a53faf272c6071fcd8d5a7bd20132b
33bfae3d80b5d001fe17b2635b3de728081f0601
780932cbee63133eb07728d450068427595acd7f


