# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 0f2e4ee008ff6324a2b14b62ec638729424c628c
input_heaps:
32d8b78be6fa140307baea2939db20f85a094691
8bb7d77eead14d2eb9ed37ac5bfe1ca981af69aa
9587897e53d9c9b5fb721fe4d47ca35f75ebfa50


