# HG changeset patch # User HackBot # Date 1397190481 0 # Node ID 182d7a08f43ba8fa5b4e04d02fb0b13cc0a2b518 # Parent 65536c94a8808965b5eb3c9277e252e2ffa0afb5 revert diff -r 65536c94a880 -r 182d7a08f43b wisdom/lexande --- a/wisdom/lexande Thu Apr 10 19:34:58 2014 +0000 +++ b/wisdom/lexande Fri Apr 11 04:28:01 2014 +0000 @@ -1,1 +1,1 @@ -lexande is transitive (and thus immune to Mostowski collapse). +lexande is transitive (and thus immune to Mostowski collapse)