# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 175c4eb69109771941c155b5fdff2aa167dbbee6
input_heaps:
675319d71f30fe1113ab62adde844862bf61566d
c1333403c22dc8fc0ae4e661507a58bdb1e66a48
8204d90918a7af7efcc049f22dde8c4fed8f2b5f


