# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 8814e1866120c96f41ff18a95262366977e82c0c
input_heaps:
d2759733082b448cfff319a2231d0a2df2f8b2b0
2e8f9a63590d791f747e7d7cc375d115fd0ad5f6
dd8563f4b22bc7590188961a046246811dc06498


