# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 968cd78ad0518ad3c4aa2bffe18e5133d5ce902e
input_heaps:
7807f31208a9568bd30608d7be9668a1a8f218a5
80156b25cd81847161b976044fa2b16cc5837cad
c92c343b6945bad20e20e8e2121de3535c06c5f9


