# isabelle_session_info

session_name: Separation_Algebra
sources: 867951c00597a30bc15b695a70a7ca20c87d79a2
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
ab58c73c43072a722217713615f96ad2250391b9


