log src/termination.sml

age author description
2009-05-28 Adam Chlipala Destructing local let, to the point where demo compiles
2009-02-22 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
2008-11-12 Adam Chlipala Add CutMulti
2008-11-02 Adam Chlipala Almost have that nested save function compiling
2008-11-01 Adam Chlipala First Unnest tests working
2008-10-31 Adam Chlipala Replace 'with' with '++'
2008-10-21 Adam Chlipala Sql demo
2008-09-14 Adam Chlipala Crud supports INSERT
2008-09-09 Adam Chlipala Termination checking allows anything in links and actions
2008-09-09 Adam Chlipala Termination checking