# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: ef95509e4aec0255194d88b04d202b54a4add2cc
input_heaps:
902b177fe6aa9d4842e92c5ac7c28e0170601731
68844b2ed9f5f6d0cef127c9a9b5cea0e1bfed33
5d6b545fee6b709f022ccd51e783d6e34afb61d7


