# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 46364c768ef6b707ed05f59ceec588e9b960aae3
input_heaps:
e216e8eaf6a375ec18ca24b2ce78310b303039d8
9fe695dd2fac74756be62bf1a9c01ff965a54e63
b33c36789a64db7c8759949f2338b66b606876f6


