# isabelle_session_info

session_name: HOL-Probability
sources: 2bf9071559d1e64e3bb6e4b66b933fd45a9f4654
output_heap: 2d7cf3ef02b4e09116119164ea89912ea5fe3707
input_heaps:
878f3db57e9f610cd04a9f038453dd299557ef5f
0baae9c3cc55bb46e0f3289b05054103bd7cc2d6
6f58127c6faf462670dfe92549c4b7f9402e0310


