log demo/more/versioned.ur

age author description
2009-12-26 Adam Chlipala Make summary unification more conservative; infer implicit arguments after applications
2009-10-06 Adam Chlipala Versioned1 demo working
2009-10-06 Adam Chlipala SELECT DISTINCT; eta expansion during Cjrization