# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 059d071fd68ccff28e9c41c08526c6cd6b0253df
uuid: d1619fbc-e32d-41b5-aa2a-61f3e168fb10
input_heaps:
89c875fbbb5d9d0e7d7830b39525c64c1be448af
34b353047794b0c2d571f202ffd31b8d97313401
94f7f303608dd27309930b956962f22c22ff3ebb


