# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 58cc57122504ac6e951b0bf13c57df759733c2e5
input_heaps:
640c93dd9b059e57f250a6bde56ed91b11370523
bab23913bc1ced9b6f8f72e060cf9fe98000c983
49620e465436007702fa5fe3fe9112d82a292eb2


