# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: b3bd4321fe9f61b5d3414662758fae0d0d0eef7c
input_heaps:
771b27749d066eb00734e2e3694240d3b29658b5
60fd69b109c3dc8deafe23bc6f2cd6b659f2d722
353eff247141121fedb104788add3bd167cb30ce


