# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: dbd61e34696e1405bc7be47d3b198e2d8db1e63a
input_heaps:
5904106a4d189718a398af4707433146ca1890af
45bddc69c5b5116a3b7296b1901d051f8dbd9620
e28ce8d3c229fc80deabcdd3d7a131303b78bd4f


