Mike Chlipala tag:blog.lib.umn.edu,2009:/chlip002/chips//4087 2008-02-13T18:18:41Z Movable Type 4.25 hey! tag:blog.lib.umn.edu,2008:/chlip002/chips//4087.110059 2008-02-13T18:17:19Z 2008-02-13T18:18:41Z hi!... Michael Chlipala hi!

]]>