# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 8ce89c178839ef0ceac12989c899f77033547e6c
input_heaps:
80c594587f7c0182fd41f269932ab98b52794770
f36e5dba626524370b16749666a8ee92b5ffcb3f
51500a7ccace17430b9026c27ee9066a36a9c578


