# isabelle_session_info

session_name: Relation_Algebra
sources: e4fa7c1a047d47212c2ff221fec947da121e9307
output_heap: 2838c62cf5a5475d9cd60f4893ccd26b6fe3d395
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
21c162074efe45b9b45c1371553b103f18d3ee25
9c2fc678a608cbf71e68e54c0b4393513ba314fa


