# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 35dd3c4dacb505210e1b7d1105458eff13cfd67c
input_heaps:
62b46d030507eff717bda6aaba560c4c46c9bcf8
728829bd792d2c691813ae1727b2f161c6b300e4
dd3b67cc7c547cd15a78fb1d398bc168d2f9f2b6


