# isabelle_session_info

session_name: HOL-Probability
sources: 028c3d82dfb61b4c570cfd27d606bb9c7725343d
output_heap: 8a9cbe3ac5945c4dc3d4049f7a4ed48e1c282e14
input_heaps:
e6482372651d25cfcd88b33f1b222ef5cdb71889
fc0e5d8b4e796b67ceabc210f27e4a4ee0999ebc
1b10b967138f7eb2481d773f6f357c30ef1b1e38


