# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: cd26988b46bddd2e6fb73e083c752db9d848b956
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
ec9024ebf4c0fb7762c13b5d1dbbc34715a999a1
4bc0319d79c82ce095f8d4588fd0dd04047a5a15


