log

age author description
Sun, 01 Feb 2015 17:55:39 +0900 Yasutaka Higa Prove association-law for DeltaM by (S O) pattern with definition changes
Sun, 01 Feb 2015 17:06:55 +0900 Yasutaka Higa Temporary commit : Proving association-law ...