# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 955bd276b97edf2f3e6aee9d5436b77b15fb7411
input_heaps:
8a4269a42aca70396b3fb4cbd3bc25030d219b39
83f4ecef7c63c228d52e5c4edbadb14ee6b7fc2d
4e923008ceb3e604a37ab17664186aa11b1811a2


