# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 846e6df2ffd6b3ff137b4f6977a0dae9d35a8fff
uuid: a5e31a0a-6440-4c0b-9c5b-dec82d19f9a9
input_heaps:
94e2b66d00b77875014d997ac2abf11a8e903784
18be5846271af03e56b22434e2d70261152d1227
d9a46cfa24f3a848167675ad12d9530e9c5145a6


