# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 9e13cc97cc4faa0986fb372a167e2ee0fd550f77
input_heaps:
9b35d05f9f8e0a26d346cc3ebf0cafeb60608d62
916c9a1b16497ead14a9223e075cfd379f8e0d5e
952483bd558298cd376946c205106d86dea5b918


