# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 5b5bdce6b4427ca85fe475592eed9398de69f509
input_heaps:
7ebc77e06d0e52a3d23b989ac3a5cdf6ba4e38da
173ebb4f87bc782b63cf102fdfc8b061631d5b0f
f9ae76bb24d0974cb68fa1b77e7dac563f9796f5


