# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 61e45c2dc7e6cec9020b2c2ff8496b3866542d14
input_heaps:
9fc0231edcbcd095545a9bd9f3a47031d632be92
e439953f9939172fd7e2e9138f9265c34414095e
dda26d77580368e351596db628880ef79805fb06


