diff src/sources @ 443:bd9ee9aeca2f

Especialize
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 16:58:54 -0400
parents 758304561b60
children 85819353a84f
line wrap: on
line diff
--- a/src/sources	Thu Oct 30 15:39:06 2008 -0400
+++ b/src/sources	Thu Oct 30 16:58:54 2008 -0400
@@ -93,6 +93,9 @@
 specialize.sig
 specialize.sml
 
+especialize.sig
+especialize.sml
+
 tag.sig
 tag.sml