# isabelle_session_info

session_name: Kleene_Algebra
sources: 5009671ba6070999d94529830165d592022199de
output_heap: 71a93aa9ea19d34d00ae2f909a2201608689bcd9
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
bd9d5b59f62cee787b745a18e37ce78675bf828e
a642933183b53fca718dc59a0bff9e3d87623969


