# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: bcddaca99febe0ced905328e49a13edb96336d99
input_heaps:
73b97324401a390af5292cba94f0564c556fe305
6001243685746f1a1a24fa4ab39f70a8f5ce39cb
8b58379d670d6dfa674d643467997074641663ae


