# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 62e3ec625210cc51498d2f3aa2457932483b7b35
uuid: 1ddbe30c-8fd9-4c0b-81c0-f33c9fee16f1
input_heaps:
611cdb6c5329e67e3840a4eaaf7a9c12741c22c6
7d4ddc2c6925c8c40fb13abdefeeabe718661ab5
4422bdb2524a3a6e2e6aa5dfd6c0668e98f1d2ce


