# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 49b917bea16a6c4b917d7d905bd989efb9da9bf8
input_heaps:
5ed84af47abc05e6415ee3f4ab9fbfc3e91721bc
cbc18ad7ee89e59ca90d637affa8dadaa40daad4
5d65e6496ed8ac73ead2f8a2f5db2c49f0052554


