# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 8ded4030fdbfa3eec67abf7394688234db9c12fd
input_heaps:
dbc373532a8de37e9abb2d2b3f29c7d794abd157
76f1b6b9c5508daaae4efe96776d5917ec90f735
21eb7280d14694decc6e9bbbe9fdcd2898c54b3b


