# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: b33e5b17244ec0b514b50ceeea9b92ee2b9549b3
input_heaps:
eddcfa062a672f0dad34c5be0cd823fee08f5bb1
6803283bac8240f6b1c8d22324fa1bb842ee176c
521298a7f472fd1887b13cd77adf687f3f4f5b78


