# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 449abee8f024ebf04e0a436b6551e5e6c92d8940
input_heaps:
93e482badafb7e639b29de5ac13725d8a7ec9381
5707bd92e1887d676c5a1ca2756136fededea779
e8341778bd37054d86c536e67d64a31dfd6c42ee


