# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: f04fd1ccc9b6e3d98e2604a33ec4d675cba38dd7
input_heaps:
5e341a1d6191d9356afa4682b13bd70b1920f9d9
63f48e936253096d790243e19b2890f4bf58673f
319675ccf492b875a3555b5d07827862e423dca4


