log

age author description
Sun, 11 Apr 2010 13:11:25 -0400 Adam Chlipala Update policies
Sun, 11 Apr 2010 12:45:15 -0400 Adam Chlipala Express all query outputs using record literals
Sun, 11 Apr 2010 12:38:21 -0400 Adam Chlipala Delete policies
Sun, 11 Apr 2010 10:57:52 -0400 Adam Chlipala Insert policies