# isabelle_session_info

session_name: HOL-ex
sources: 8ad4e3ca5328025f3cceb3a7a7215c2066497ed3
input_heaps:
1ff54ca3c0b35679bcb668ab161c4d90ed31f0a9
27a80fdf367af8eac6281dc27ec1d7c6dc00010d
3813e724c94542385001c5c6059f42e7d9acb899
5f2892727f1f31b28c82b7894fa8394ac8111608
e125f5244a659654246d5e9c52c2be80167e05de


