# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: ddd6b7d2b9d51270dfe855d90f1740312c049f77
input_heaps:
54cd32f4919d850faca17e94e357093dc43a48d9
f85412ed18f79fc641e57fba244090c4b08a2333
f69c150bcc7262b62364cfaa4784081c17795e51


