Changes by: Limin Jia (ljia at CS.Princeton.EDU)
Date: 2005-09-06 07:05:35 -0700 (Tue, 06 Sep 2005)
Revision: 7705
Log message:

      Add examples
      

Changes	Path
+7 -0	metaprl/theories/ilc/OMakefile
+14 -4	metaprl/theories/ilc/ilc_core.ml
+2 -0	metaprl/theories/ilc/ilc_core.mli
Added	metaprl/theories/ilc/ilc_extend.ml
Properties	metaprl/theories/ilc/ilc_extend.ml
Added	metaprl/theories/ilc/ilc_extend.mli
Properties	metaprl/theories/ilc/ilc_extend.mli
Added	metaprl/theories/ilc/ilc_listtest.ml
Properties	metaprl/theories/ilc/ilc_listtest.ml
Added	metaprl/theories/ilc/ilc_listtest.mli
Properties	metaprl/theories/ilc/ilc_listtest.mli
Added	metaprl/theories/ilc/ilc_listtest1.ml
Properties	metaprl/theories/ilc/ilc_listtest1.ml
Added	metaprl/theories/ilc/ilc_listtest1.mli
Properties	metaprl/theories/ilc/ilc_listtest1.mli
Added	metaprl/theories/ilc/ilc_longmergesort.ml
Properties	metaprl/theories/ilc/ilc_longmergesort.ml
Added	metaprl/theories/ilc/ilc_longmergesort.mli
Properties	metaprl/theories/ilc/ilc_longmergesort.mli
Added	metaprl/theories/ilc/ilc_mergesort.ml
Properties	metaprl/theories/ilc/ilc_mergesort.ml
Added	metaprl/theories/ilc/ilc_mergesort.mli
Properties	metaprl/theories/ilc/ilc_mergesort.mli
Added	metaprl/theories/ilc/ilc_term.ml
Properties	metaprl/theories/ilc/ilc_term.ml
Added	metaprl/theories/ilc/ilc_term.mli
Properties	metaprl/theories/ilc/ilc_term.mli
Added	metaprl/theories/ilc/ilc_test.ml
Properties	metaprl/theories/ilc/ilc_test.ml
Added	metaprl/theories/ilc/ilc_test.mli
Properties	metaprl/theories/ilc/ilc_test.mli