# isabelle_session_info

session_name: HOL-ex
sources: 46ab9f0530fac75c41759758a8f4816a8e5629d6
input_heaps:
71091afed7a8a197c38e4fd92b1ce9b0f5e17eea
e548908dbfe907487adcfaa9280f64113ab5bbbf
e309b151f883e560703ae0dee61d5fde8b66cfb0
a05023136bc45ce9fe81dd6c3494f14e86f534f3
47b195711362cd56b511a21de1ee59cd2c630525


