# isabelle_session_info

session_name: Kleene_Algebra
sources: dd9374eeae53c26d9683819fc3ce1785dcd25549
output_heap: 67d9cf05d4a0db88d11cefb6fe7f90d2f68e5f48
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
fe66c2c36135e85ba51db5f3041b01702c8e4117


