# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 8ce2936c32697b2c197092d71d2607e653d1ea4f
input_heaps:
70530a60d7a1ec8e16f4035f71956f8b73a92183
a118c00bfcc49eea4ae117e80d0baf72a5a326ca
d941b33e36b83976e8cdccd2cfc3ac1440de06b8


