log demo/more/orm1.ur

age author description
2014-02-14 Patrick Hurst Merge in upstream
2009-12-26 Adam Chlipala Make summary unification more conservative; infer implicit arguments after applications
2009-10-06 Adam Chlipala Finalized Orm1 demo
2009-10-06 Adam Chlipala Initial Orm1 demo