# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 53a64fc3255dbdb6ae0b2ad48971c3229480cc0e
input_heaps:
ab8738f36a5910b081a8af85f9c6bcc719678f27
6b267e02f6fcbfad775a6749db140d0c2835f978
1bfa495504b285bb8b140491daf53d1d93a6e18d


