# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 977e2a418dc88da965437a973b5eba6c05da73de
input_heaps:
bc04ed3d5e3d39fc11eed643c195af42cfffe6e6
af27b793b0e347b7ff6acebc98cfdec3738a93c2
a6125556263b7521f8efc48a23a4896077c4be3d


