# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: a81103f650630d24d1cd0111ad74563d232e1d6b
input_heaps:
3e4e9593d539b8de84137329a766b1811bb0545d
8426ac7e4ebe67d06e6b6dbd3c2ea4d00a97ad3d
d3bf6fa26f38ba69a0fd9436b68ef5ec9af3cfe0


