log

age author description
Mon, 30 Nov 2009 15:41:51 -0500 Adam Chlipala Working with evars
Mon, 30 Nov 2009 14:21:34 -0500 Adam Chlipala Mention fake universe polymorphism