# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: ee831b9eb7823f348d241dd5570f8f5db4da8cd3
input_heaps:
355a64804e6eca100d64dad0e9de71f136466619
88c162adb4f7b537afea371994c77b7a87e6cf98
ed3248e445a02f7a785f2d65948d58907912ed8c


