comparison src/sources @ 6:38bf996e1c2e

Check for leftover kind unifs
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 16:44:39 -0500
parents 258261a53842
children dde5c52e5e5e
comparison
equal deleted inserted replaced
5:258261a53842 6:38bf996e1c2e
1 search.sig
2 search.sml
3
1 list_util.sig 4 list_util.sig
2 list_util.sml 5 list_util.sml
3 6
4 errormsg.sig 7 errormsg.sig
5 errormsg.sml 8 errormsg.sml
15 source_print.sig 18 source_print.sig
16 source_print.sml 19 source_print.sml
17 20
18 elab.sml 21 elab.sml
19 22
20 search.sig
21 search.sml
22
23 elab_util.sig 23 elab_util.sig
24 elab_util.sml 24 elab_util.sml
25 25
26 elab_env.sig 26 elab_env.sig
27 elab_env.sml 27 elab_env.sml