log src/expl.sml

age author description
Fri, 31 Oct 2008 09:30:22 -0400 Adam Chlipala Replace 'with' with '++'
Sun, 14 Sep 2008 15:10:04 -0400 Adam Chlipala Crud supports INSERT
Sun, 14 Sep 2008 11:02:18 -0400 Adam Chlipala SQL sequences