# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: e946255b789eba1d92252a93db56a1c7189b787b
input_heaps:
cb3b4b88f86f707d123395dc0f54d7e406fb9231
2f7affaa3f1e641179075b6ed2189143771cd710
9f9909b1a3b4f65d2f2eb19654c6ae270b791d07


