# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 4c8e29ec2e5c3ccba480fbb8a99718eacc7f86ce
input_heaps:
71273f2b5a292ddaf873133309c34b5758374be3
b75fa78fe7c55a0d5d72a19c39ec72148e2d4f8a
d6667ded7f382587b967ec7ac2e26bdf06a195f6


