Separation_Algebra/Separation_Algebra.thy-orig
changeset 19 087d82632852
parent 2 995eb45bbadc