diff src/sources @ 14:f1c36df29ed7

Primitive type constants
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 12:27:08 -0400
parents 6049e2193bf2
children bc7b76ca57e0
line wrap: on
line diff
--- a/src/sources	Sun Jun 08 11:32:48 2008 -0400
+++ b/src/sources	Sun Jun 08 12:27:08 2008 -0400
@@ -7,14 +7,17 @@
 errormsg.sig
 errormsg.sml
 
+print.sig
+print.sml
+
+prim.sig
+prim.sml
+
 source.sml
 
 lacweb.grm
 lacweb.lex
 
-print.sig
-print.sml
-
 source_print.sig
 source_print.sml