# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: ddd6b7d2b9d51270dfe855d90f1740312c049f77
input_heaps:
ed6caa966bb75077c120e012673453f69d500802
269c54a80d587c3b365ca98028240e5f8391db0a
6a2349c885015215d00861bb6ddf47919ff58f76


