# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 317710a2d58c46fca7b686c164719bd045a7951a
input_heaps:
4261b5a1501386295bfdb70e434ff4b92336605d
8bd4e929afcbb2be1bf5607a7362f9b0aead5da6
e49db71f733bd76ab21cd27017fe0d9dc9825584


