# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: b6d6b835343c77aaaa5fdcd69c0c30fcff1c54ff
input_heaps:
edac997306bdbbc7a1ea2002f2641008ce6aae62
b77918cb16b79b554f672156cebeb1531c9272e3
9f865b82c21fbd0b127e74232e8771757e257e37


