# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 653c6ecf1920b96ccda05d1c76c0629da08b7e7f
input_heaps:
bd250b6fe2745d27d692ec1e5be14c03860b016c
ff7f952b4b87130fc0230e1804ac75502f28965d
6ab88f26f82d2fb00a8169c703f03cb693bd10a7


