# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: fd0422738c9da3c057c301e52bd260be9916e020
input_heaps:
b051f2261d6f88c03646aa313c73a7379e29a659
7633af7870dcf6daa19ba6bd207628594e3663e7
338a41c2bbc97322c360292d4c3910d9eee4a077


