log

age author description
Sun, 04 Apr 2010 16:44:34 -0400 Adam Chlipala Relax checking of table implications