# isabelle_session_info

session_name: HOL-ex
sources: dac834ab4f18e8c11793ba59da6d2be96ed9ad4b
input_heaps:
80c594587f7c0182fd41f269932ab98b52794770
f36e5dba626524370b16749666a8ee92b5ffcb3f
fe8c3462a51b97f3e1a44c91114cce0c5c222a7c
152e657eea46c9e1d342e532c9f6aad6aba7abbe
08161eb019a615a5a3a354e39c90743f64f0f151


