# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: f125e45d7ddc95c7c3196f646c5f512c81604948
input_heaps:
71694b1f2d25d2d9aeaca0f1ab390c835916ace2
24112e61b571a2bcd40de8683c354fe7120c1068
3f3d97eda4172cfcc4674099b18491488b051f14


