# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: 6a90e622640f5802ea685ad72d730152fb8de950
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
f1715b405e31ccabbdc6fec58464e458364e7dc6
a90c7d0a05807f95fc3be73ded6378f9c722631f
ba6ff5a503ec8e3111a9054f83cfa695f8620e2e


