# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: c7457a6f4dc86bf6000ea5cc2c8672c7a028b119
input_heaps:
8b0dcf9acd2129acf08a9af17112933d7b840fa4
526dc7c549bdebbc88872b36d0ab533286ebcc3a
75fb3a468fc2ff8f85b194facb6bfb21a42614ab


