# isabelle_session_info

session_name: HOL-Probability
sources: da86ef2f10b985da2def66065118bc288d2fac5b
output_heap: a6684f5e9e49095eb13b41d1340865d4376d1319
input_heaps:
174cc62824810fb30472fdb32ee1776d48cb238c
fafe655213a5e9886fd032ac78bb3ac5809b55e3
974a340eb18b287c94f44af1459a8990f0606c9d


