# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 84be0dab263eae3143bb1d5662708e129ffb9406
input_heaps:
d519004ff6bb3b652fd959e65d131f041c2441da
a5e894086c290b5f34bdd176eedfdf0315b685d6
ba860550c944730dd521a9c1d109d7863abd3a4a


