# isabelle_session_info

session_name: HOL-ex
sources: 71278b09c34f8874ee7326fd98bd92667c80265b
input_heaps:
314b2178d6c03158f9c84b2630cc69b9a5064111
9325af987c821775600f0a5773feea39c85e86ed
e9e8bc6ea122225977f56653d3af82bedf48de4a
6adfcbaf48ff6ba9b7cb0ba98bc3896f2e3781db
5c7dbe9bb78b92280c07c21e0b81fdde666f9e58


