comparison 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
comparison
equal deleted inserted replaced
81:60d97de1bbe8 82:b4f2a258e52c
32 elab_print.sig 32 elab_print.sig
33 elab_print.sml 33 elab_print.sml
34 34
35 elab_ops.sig 35 elab_ops.sig
36 elab_ops.sml 36 elab_ops.sml
37
38 disjoint.sig
39 disjoint.sml
37 40
38 elaborate.sig 41 elaborate.sig
39 elaborate.sml 42 elaborate.sml
40 43
41 expl.sml 44 expl.sml