# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 10764311ec4365ebc2b6ed7cf878714955cbff94
input_heaps:
0d299af725467f9971d4b5bdb3afa1308842af77
af5ce7345e4750b754492237c662f5ddd9ff936a
ebab3873ebad203e5a15f69c9b013898b07fc58a


