# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 62be3bfbd67663862bb9699bc5050834dd89711b
input_heaps:
5bc7b8609748a10319dc3892a3dee59fdc4e228c
8d4321ea3a63542efcc2eeabd02c563b82b91bad
037d8c1a3cc4cade06b4475822804e494b3c34c6


