# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: dedc38f13a63999b46c09d70731b63e6a3578ad7
input_heaps:
0ff9958a0ca5fbe9ab4009834227f55206a20040
e87326cced1f0fc435ede3b19ecca1f629d0f741
8e96138fa2955ceb7ff6faffe598c7f06d9856f1


