# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 00968ebc33df8bffad6fe44770680ba3cc693505
input_heaps:
6961fec4ded6b3eed849e7567739468922d3c226
1917700418a8a34a23e321dc0267535ca9af6102
8d2b79a1e3cb4b83abd9e5031623af80d16ef760


