# isabelle_session_info

session_name: Kleene_Algebra
sources: a4eb203e629757fae52fb93cb8c7cd142ee9550d
output_heap: 7291ce82a258f9707235ce60d8ab2fc7eade36fa
input_heaps:
273a065aaa7221aeab8448251fac00a4433003aa
e99e0684410df36373f4f2b5c5ea423968ee9625
c03b1a0d334c9fd9fabd82cef3f83f6d308d7309


