# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 96be6186b449f0a6366b1019bff0f7aab1eb7dec
output_heap: 8ff8f0148642d6b0e284a32a714c79bf7f489454
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
00297a9d9c3ebd27aac250508cf8ce2393aa4101


