# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: e06f40509bcb4f007ae47b954ec7d5d188b73603
input_heaps:
963f5dbb395fbca1ebca428683961ef28be59393
27d8a2f2e6bd96d232df533b2f806252fe1eae7a
312937a293e565917a6b8aa8230a9083f36b4d0b


