# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: fdea87bff15462bea9a1b6e9623b52072a6ef0c9
output_heap: 2ef150c93dad6a7d1ff83f39095a06bd0e498d71
input_heaps:
87d722a51b70602a06e4a7b7d793ad6a8bd08e87
b7feff3cf6fa551286ad5206b08f8a4505f29591
e6af893a94152f42ee13ca3e0d9cebb7ccdcbf84
6d34866f4a4304eee8ee27edd0b2db8e4cff7900


