# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: e5aefcef4e9537fc8a0dc6bbbdf1f02b1b8844fb
input_heaps:
e8fcc2dd5748fd19698324fa0db3df7190e3b460
ffd61dc8764cdbb3f006c9e006d2be197a9fcd5a
e2c0274abb44d0efba2bf88a875953b3c1f5eb6f


