log

age author description
Sun, 04 Apr 2010 17:18:41 -0400 Adam Chlipala WHERE-dependent checking
Sun, 04 Apr 2010 17:11:22 -0400 Adam Chlipala Parsed a WHERE clause
Sun, 04 Apr 2010 16:44:34 -0400 Adam Chlipala Relax checking of table implications