diff src/sources @ 82:b4f2a258e52c

Initial disjointness prover
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jul 2008 10:55:38 -0400
parents 60d97de1bbe8
children 82aaa1c406d3
line wrap: on
line diff
--- a/src/sources	Tue Jul 01 09:29:49 2008 -0400
+++ b/src/sources	Tue Jul 01 10:55:38 2008 -0400
@@ -35,6 +35,9 @@
 elab_ops.sig
 elab_ops.sml
 
+disjoint.sig
+disjoint.sml
+
 elaborate.sig
 elaborate.sml