# isabelle_session_info

session_name: Relation_Algebra
sources: 5c108e6ec8dca3241c6eae5ee5fbe5aa876e6670
output_heap: 4cddaabcba58d082fa6e5b9f688e17c9c3dae42e
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f
43d5ec70b1b9aae7804bf8eddfeef170699f61cc
5c4a1a7fe5d67e2d794e58485f1431cb7c7b968a


