Separation_Algebra/Separation_Algebra.thy-orig
changeset 14 23eeaac32d21
parent 2 995eb45bbadc