# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7dbb5795a10b7f172977f92fe89013588bbe6288
input_heaps:
c27ff9c451f4b8c9cf6bb3a25c925fd9b57a5bdd
18dc0053a95521338aadd53e3b70138a41dcf298
b0fd97ef71d0cd266901253963480a2062f00025


