log lib/ur/incl.ur

age author description
2010-03-06 Adam Chlipala Standard library moduls Incl and Mem; tweaks to Especialize and Unpoly