# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 81df913ee8b35357de6f0189ab840b19f7c102d4
input_heaps:
8efa791dabbe9fabbba3e8078d5274688c6622fd
537220e845e462fe9dd7dc166f6d3cf6145faab2
b55a9fb4cbd254392523f9039db6f9373c221b83


