# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 4b69fcfce652bbafc31e4d6e9ceb43a8ce0107c7
input_heaps:
98cdb8373ea965ed3e3dfef923c097916f626e1e
3c331c2e953d1a5ffb421f67e6a22dc191ba1f22
c5ed578c12e29b1c98b1616b2ae71a031b4cf3d8


