# isabelle_session_info

session_name: HOL-ex
sources: e635824d4f36383c3875bcd82b5045ed0b47cf8d
input_heaps:
b3e898cb94fff8ea5f7388662fbada074058e744
008dcfa32f4577c3f490552fca32d890b18cd151
34d3d690ab82252f0025f3cfa7c20ee35413706f
990113833cb5e2b44680725cc0a2f56e6a6ded6e
1b52dc70635decc36c19dd45150f6a1f694316ca


