From e846c8c76b14cc7725b4971f01f87aa854e483c8 Mon Sep 17 00:00:00 2001 From: Jeremy Avigad Date: Thu, 31 Jul 2014 12:28:24 -0700 Subject: [PATCH] index on master: 9dc1baa feat(library/standard/congruence.lean): finish congruence classes for propositional logic --- library/standard/{congruence.lean => congr.lean} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename library/standard/{congruence.lean => congr.lean} (100%) diff --git a/library/standard/congruence.lean b/library/standard/congr.lean similarity index 100% rename from library/standard/congruence.lean rename to library/standard/congr.lean