# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 67d5047f56a4d2f7fa8a59fb5aafd3bbf509d26a
input_heaps:
f410984a54e8ba069c9e13dd4899d9aafe342178
8aa4aaaf92552fb4ece64319d36b5e8dd169beee
164c3b2e5fe8f7546e65ef4a19a1d835a23aec15


