# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: ec65beaae06adbc482c306c3e6768b33e255cf6d
input_heaps:
dc7b69071f5258c3706df73b3e56839183da893e
84b910a66c3fba5a127103a262ea752a51a43f31
570a7bf3aec3fa9b85199576d78e1d691aad5bbc


