# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: bb1e79f6fb0097234f5b936994d28ebafc27e747
input_heaps:
b7e847e721809281cd40042e7df94b0de64e4297
d40f74ab6c572f5a7c6fb839c79aeb7813dcf391
8f3e22415d8db24e0ad56993155571aa41353cb0


