# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: afe7733b98310c36d368dfc9dcacf909b9c3828e
input_heaps:
a9b7dcae088578d8605a3e1d84e889eeccefd72f
b4ab1f59b08714a73123cd49dab856a7d2781a8e
abd66086aa2fd85324f9f26ccf9a86b713394580


