# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: f58370aaeebb2e580b4837ae478416919205b55b
input_heaps:
56dff493c54cd66b7db0c38a40d271b408a414ea
15c9718b35bbebd57dd2cb739566c2d7a0f9df58
010b2d846ef63c73ed6e9caa99be9d19bcac0207


