# isabelle_session_info

session_name: Kleene_Algebra
sources: dd715986b754958ebe7b448e31ec791b6b24d991
output_heap: 1072b276ca644e393b5d3e221c42553cf57ab0bf
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
934750cc51ae3cb341d3ffd6479ca7a7b3b8ed50


