# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: beee6a6c728f91740101baf39c9a763121591ae1
input_heaps:
fe1281de5d7780f272aca589ea23aa21095812b5
b0fbbd38fa9ab2d8baffe811a6d340106ce50024
64c678c6a1b567a5fa9381b4bbffe5dc14abbfd6


