# isabelle_session_info

session_name: HOL-Analysis-ex
sources: 89fa164b11f81fd7dda6118ba2cbcfe3b3ae222c
input_heaps:
edac997306bdbbc7a1ea2002f2641008ce6aae62
b77918cb16b79b554f672156cebeb1531c9272e3
a7abc29f21b96872f86c3583e5913867b8797141


