Changes by: ( at unknown.email)
Date: 2003-05-02 03:40:19 -0700 (Fri, 02 May 2003)
Revision: 4544
Log message:

      This commit was manufactured by cvs2svn to create branch 'CS101_branch'.

Changes	Path
Copied	metaprl-branches/CS101_branch/theories/itt
Deleted	metaprl-branches/CS101_branch/theories/itt/.ispell_english
Deleted	metaprl-branches/CS101_branch/theories/itt/Conscript
Deleted	metaprl-branches/CS101_branch/theories/itt/OMakefile
Deleted	metaprl-branches/CS101_branch/theories/itt/ctt_markov.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/ctt_markov.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/ctt_markov.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_algebra_df.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_algebra_df.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_antiquotient.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_antiquotient.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_antiquotient.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_atom.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_atom.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_atom_bool.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_atom_bool.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_bintree.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_bintree.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_bintree.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_bisect.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_bisect.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_bisect.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_bool.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_bool.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_bool.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_bugs.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_bugs.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_bugs.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_bunion.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_bunion.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_bunion.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_collection.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_collection.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_collection.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_comment.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_comment.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_cyclic_group.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_cyclic_group.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_cyclic_group.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_datatree.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_datatree.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_decidable.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_decidable.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_decidable.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_derive.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_derive.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_derive.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_dfun.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_dfun.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_dfun.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_disect.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_disect.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_disect.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_dprod.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_dprod.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_dprod.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_dprod_imp.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_dprod_imp.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_dprod_imp.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_equal.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_equal.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_equal.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_esquash.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_esquash.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_esquash.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_eta.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_eta.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_example.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_example.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_ext_equal.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_ext_equal.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_ext_equal.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_fset.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_fset.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_fset.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_fun.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_fun.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_fun.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_group.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_group.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_group.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_grouplikeobj.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_grouplikeobj.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_grouplikeobj.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_int_arith.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_int_arith.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_int_arith.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_int_base.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_int_base.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_int_base.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_int_ext.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_int_ext.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_int_ext.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_inv_typing.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_inv_typing.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_isect.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_isect.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_isect.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_list.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_list.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_list.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_list2.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_list2.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_list2.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_logic.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_logic.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_logic.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_nat.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_nat.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_nat.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_pointwise.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_pointwise.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_pointwise.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_pointwise2.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_pointwise2.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_pointwise2.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_prec.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_prec.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_prod.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_prod.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_prod.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_prop_decide.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_prop_decide.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_prop_decide.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_quotient.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_quotient.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_quotient.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_quotient_group.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_quotient_group.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_quotient_group.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_rbtree.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_rbtree.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_record.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_record.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_record.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_record0.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_record0.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_record0.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_record_exm.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_record_exm.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_record_exm.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_record_label.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_record_label.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_record_label.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_record_label0.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_record_label0.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_record_label0.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_relation_str.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_relation_str.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_rfun.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_rfun.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_rfun.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_set.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_set.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_set.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_set_str.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_set_str.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_singleton.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_singleton.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_singleton.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_sort.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_sort.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_sort.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_sortedtree.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_sortedtree.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_sortedtree.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_squash.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_squash.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_squash.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_squiggle.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_squiggle.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_squiggle.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_srec.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_srec.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_struct.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_struct.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_struct.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_struct2.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_struct2.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_struct2.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_struct3.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_struct3.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_struct3.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_subset.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_subset.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_subset.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_subset2.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_subset2.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_subset2.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_subtype.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_subtype.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_subtype.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_test.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_test.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_theory.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_theory.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_tsquash.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_tsquash.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_tsquash.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_tunion.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_tunion.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_tunion.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_union.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_union.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_union.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_union2.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_union2.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_unit.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_unit.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_unit.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_void.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_void.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_void.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_w.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_w.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_w.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_well_founded.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_well_founded.mli
Deleted	metaprl-branches/CS101_branch/theories/itt/itt_well_founded.prla
Deleted	metaprl-branches/CS101_branch/theories/itt/jprover_tests.ml
Deleted	metaprl-branches/CS101_branch/theories/itt/jprover_tests.mli