# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: dd6ede2f87ec04110a08c54f41c37f32c079f0cd
input_heaps:
1c6f2074cd6cdf579a3d3ee0e0c3866542d97adf
dc5a1495e230b9fed28df216f9bc9b8936ded4f2
1417cf81634704ab62dd990387c7bf733191a6e3


