log demo/more/grid.ur

age author description
2010-12-15 Adam Chlipala Small tweaks to update demos for record unification change
2010-10-10 Adam Chlipala Tweaking unification fix to apply to demo/more
2010-02-28 Adam Chlipala Changing foldRX to mapX
2009-12-26 Adam Chlipala Make summary unification more conservative; infer implicit arguments after applications