diff src/sources @ 193:8a70e2919e86

Specialization of single-parameter datatypes
author Adam Chlipala <adamc@hcoop.net>
date Fri, 08 Aug 2008 17:55:51 -0400
parents 18299126a343
children 71bafe66dbe1
line wrap: on
line diff
--- a/src/sources	Fri Aug 08 10:59:06 2008 -0400
+++ b/src/sources	Fri Aug 08 17:55:51 2008 -0400
@@ -4,6 +4,9 @@
 list_util.sig
 list_util.sml
 
+order.sig
+order.sml
+
 errormsg.sig
 errormsg.sml
 
@@ -75,6 +78,9 @@
 shake.sig
 shake.sml
 
+specialize.sig
+specialize.sml
+
 tag.sig
 tag.sml