# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 24765f320a388b699490ee261eb0a28142720235
input_heaps:
ba9703b8d89941ffe014c15e6ddc671ed32d9999
100b23f10739ac1b172eccb60c813bc22e9bd494
5db1b95e54d8648ee14dbbb91802b741cedc9545


