# isabelle_session_info

session_name: HOL-Probability
sources: 4813044202dfe05829f18d312b716654d6c8f903
output_heap: 4d4ba05b4307704ce74bdadfc79c57c997ddc8be
input_heaps:
edac997306bdbbc7a1ea2002f2641008ce6aae62
b77918cb16b79b554f672156cebeb1531c9272e3
a7abc29f21b96872f86c3583e5913867b8797141


