log src/elab_err.sml

age author description
2009-02-24 Adam Chlipala Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
2009-02-22 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
2008-10-21 Adam Chlipala Sum prose
2008-09-14 Adam Chlipala Crud supports INSERT
2008-09-13 Adam Chlipala foldTR2