# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 52e64d80170fc318018eea002e3cc3ad39d2e35c
input_heaps:
eb06bb30852b87bf08fc9bc974d190b6e06c78ba
540a2732a3304e44cc5d86f9c84329d38f7892cf
2e1796282b98b16e41178b9176395a61b9706700


