# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 5b5bdce6b4427ca85fe475592eed9398de69f509
input_heaps:
7dac346481afdceab62c8081cb4f36756224c974
3b86e4c44d3a409110d660ca5ff3fe46430a5376
e1cb8ab3c651d1d0ebc6e60c048e9624259d44ed


