# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 14562e71efdcf986b2fcc39511f1b7c51a95af3d
input_heaps:
bfda3f4d86d49fd6800d54a9113d467455da22b8
c1d5446aa499fb1141fa91905c27dc8090a7a6ff
b3d1e8edd7232db3517e3b4b6bef2a8bb235646e


