diff src/sources @ 2:64f09f7822c3

Start of elaboration
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 14:27:33 -0500
parents 4202f6eda946
children daa4f1d7a663
line wrap: on
line diff
--- a/src/sources	Sat Jan 26 12:35:32 2008 -0500
+++ b/src/sources	Sat Jan 26 14:27:33 2008 -0500
@@ -12,5 +12,19 @@
 laconic_print.sig
 laconic_print.sml
 
+elab.sml
+
+search.sig
+search.sml
+
+elab_util.sig
+elab_util.sml
+
+elab_env.sig
+elab_env.sml
+
+elaborate.sig
+elaborate.sml
+
 compiler.sig
 compiler.sml