# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 4cb0995d601969197c8c77888cd229802710b2d0
input_heaps:
9b35d05f9f8e0a26d346cc3ebf0cafeb60608d62
916c9a1b16497ead14a9223e075cfd379f8e0d5e
bbce231b51918487458129e4d893ba293c3cb727


