# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: cfe33fac0df780dfb3a17c38e7d6aa2211b75331
uuid: de13bf5a-95ef-409f-806b-3410885de29d
input_heaps:
d67dd59f24d4648407eee957ef090d6e7353dc59
6da8ff0f6583832242a60e1b676145250cb53d21
7fb1bcbdc689c3704991b764b006bfc099d8bfbd


