https://cflmark.nms.kcl.ac.uk/hg/tm2/ en-us tm2: Separation_Algebra/Separation_Algebra.thy-orig history Separation_Algebra/Separation_Algebra.thy-orig revision history added original Separation_Algebra theory https://cflmark.nms.kcl.ac.uk/hg/tm2/log/995eb45bbadc/Separation_Algebra/Separation_Algebra.thy-orig Christian Urban <christian dot urban at kcl dot ac dot uk> Thu, 13 Mar 2014 20:06:29 +0000