# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 997b605d1c1ec3e382af014e6256625180887523
input_heaps:
ae17b97f9975a58f49edf9948881ca3e82dad276
a1e2147b15fbe11193d38b22e9fc5ba6c17a7dfc
d6bbd7b0c497bb0152198de69a309e7bb0cee4ee


