# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 514738142f97a7bf4edfa7cf337e1ca0bc221b88
input_heaps:
1765a06ed7bfb95809fcd480531b6aea79d668ee
db3306e1be724f76356daf0f2b195629ce39c7d0
1467beb77458338cbc52e226cf600bf2b42229a3


