# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: aace835bed6a6844e4c67790e4bce62d8bde6aec
input_heaps:
ad4db87444247cacaf5ca4f67b9564767bfbfbb9
71edd8e772543d5a1e662373cc1cfda52a924ab2
a7aaf091d439a3028a46a671e83409ee44bee2cf


