# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 6797949ad1f23b210a0b4f6e785c39d7ff04e930
input_heaps:
33af3aa2756835d884f107e94ef8fae75dd44f26
20786579ee2816af0545aef0665e350bb8e12ab3
ee62ac27caa562f73b88ddeb2e7a8028c72dd5cd


