/.cvsignore/1.9/Tue Sep 25 16:52:40 2001//TCS101C
/.ispell_english/1.3/Wed Jan 31 22:44:27 2001//TCS101C
/ctt_markov.ml/1.12/Wed May  7 07:42:37 2003//TCS101C
/ctt_markov.mli/1.1/Fri Jun  1 20:57:31 2001//TCS101C
/ctt_markov.prla/1.15/Wed May  7 07:42:37 2003//TCS101C
/itt_algebra_df.ml/1.4/Fri May  2 04:58:26 2003//TCS101C
/itt_algebra_df.mli/1.1/Tue Mar 18 01:33:08 2003//TCS101C
/itt_antiquotient.ml/1.6/Wed May  7 07:42:37 2003//TCS101C
/itt_antiquotient.mli/1.1/Mon Jul 22 16:07:16 2002//TCS101C
/itt_antiquotient.prla/1.5/Wed May  7 07:42:37 2003//TCS101C
/itt_atom.ml/1.35/Wed May  7 07:42:37 2003//TCS101C
/itt_atom.mli/1.18/Wed May  7 07:42:37 2003//TCS101C
/itt_atom_bool.ml/1.22/Wed May  7 07:42:37 2003//TCS101C
/itt_atom_bool.mli/1.5/Mon Jun 10 05:38:07 2002//TCS101C
/itt_bintree.ml/1.9/Wed May  7 07:42:37 2003//TCS101C
/itt_bintree.mli/1.3/Fri May  2 04:58:26 2003//TCS101C
/itt_bintree.prla/1.3/Wed May  7 07:42:37 2003//TCS101C
/itt_bisect.ml/1.32/Wed May  7 07:42:37 2003//TCS101C
/itt_bisect.mli/1.5/Thu Feb 27 02:28:44 2003//TCS101C
/itt_bisect.prla/1.17/Wed May  7 07:42:37 2003//TCS101C
/itt_bool.mli/1.29/Wed May  7 07:42:37 2003//TCS101C
/itt_bunion.ml/1.26/Wed May  7 07:42:37 2003//TCS101C
/itt_bunion.mli/1.7/Thu Feb 27 02:28:44 2003//TCS101C
/itt_bunion.prla/1.17/Wed May  7 07:42:37 2003//TCS101C
/itt_collection.ml/1.34/Wed May  7 07:42:37 2003//TCS101C
/itt_collection.mli/1.6/Mon Jun 10 05:38:07 2002//TCS101C
/itt_cyclic_group.ml/1.17/Wed May  7 07:42:37 2003//TCS101C
/itt_cyclic_group.mli/1.7/Fri May  2 04:58:27 2003//TCS101C
/itt_cyclic_group.prla/1.19/Wed May  7 07:42:37 2003//TCS101C
/itt_datatree.ml/1.7/Wed May  7 07:42:37 2003//TCS101C
/itt_datatree.mli/1.1/Tue Mar 18 01:33:08 2003//TCS101C
/itt_decidable.ml/1.22/Wed May  7 07:42:37 2003//TCS101C
/itt_decidable.mli/1.7/Mon Jun 10 05:38:07 2002//TCS101C
/itt_decidable.prla/1.9/Wed May  7 07:42:37 2003//TCS101C
/itt_derive.ml/1.21/Wed May  7 07:42:37 2003//TCS101C
/itt_derive.mli/1.7/Mon Jun 10 05:38:07 2002//TCS101C
/itt_derive.prla/1.10/Wed May  7 07:42:37 2003//TCS101C
/itt_dfun.mli/1.29/Wed May  7 07:42:37 2003//TCS101C
/itt_dfun.prla/1.14/Wed May  7 07:42:37 2003//TCS101C
/itt_disect.ml/1.28/Wed May  7 07:42:38 2003//TCS101C
/itt_disect.mli/1.9/Wed May  7 07:42:38 2003//TCS101C
/itt_disect.prla/1.14/Wed May  7 07:42:38 2003//TCS101C
/itt_dprod.mli/1.28/Wed May  7 07:42:38 2003//TCS101C
/itt_dprod.prla/1.10/Wed May  7 07:42:38 2003//TCS101C
/itt_dprod_imp.ml/1.18/Wed May  7 07:42:38 2003//TCS101C
/itt_dprod_imp.mli/1.3/Mon Jun 10 05:38:07 2002//TCS101C
/itt_dprod_imp.prla/1.11/Wed May  7 07:42:38 2003//TCS101C
/itt_equal.prla/1.13/Wed May  7 07:42:38 2003//TCS101C
/itt_esquash.mli/1.3/Mon Jun 10 05:38:07 2002//TCS101C
/itt_eta.ml/1.6/Mon Mar 31 00:44:21 2003//TCS101C
/itt_eta.mli/1.4/Thu Feb 27 02:28:44 2003//TCS101C
/itt_example.ml/1.8/Wed May  7 07:42:38 2003//TCS101C
/itt_example.mli/1.2/Mon Mar 31 00:44:21 2003//TCS101C
/itt_ext_equal.ml/1.22/Wed May  7 07:42:38 2003//TCS101C
/itt_ext_equal.mli/1.8/Thu Feb 27 02:28:44 2003//TCS101C
/itt_ext_equal.prla/1.7/Wed May  7 07:42:38 2003//TCS101C
/itt_fset.ml/1.32/Wed May  7 07:42:38 2003//TCS101C
/itt_fset.mli/1.8/Mon Jun 10 05:38:07 2002//TCS101C
/itt_fun.ml/1.52/Wed May  7 07:42:38 2003//TCS101C
/itt_fun.mli/1.22/Wed May  7 07:42:38 2003//TCS101C
/itt_fun.prla/1.15/Wed May  7 07:42:38 2003//TCS101C
/itt_grouplikeobj.mli/1.10/Fri May  2 04:58:28 2003//TCS101C
/itt_int_arith.mli/1.21/Wed May  7 07:42:39 2003//TCS101C
/itt_int_arith.prla/1.15/Wed May  7 07:42:39 2003//TCS101C
/itt_int_base.mli/1.37/Wed May  7 07:42:39 2003//TCS101C
/itt_inv_typing.ml/1.10/Wed May  7 07:42:40 2003//TCS101C
/itt_inv_typing.mli/1.4/Fri May  2 04:58:29 2003//TCS101C
/itt_list.mli/1.27/Wed May  7 07:42:40 2003//TCS101C
/itt_list2.mli/1.9/Thu Feb 27 02:28:45 2003//TCS101C
/itt_logic.mli/1.30/Fri May  2 04:58:29 2003//TCS101C
/itt_pointwise.ml/1.8/Wed May  7 07:42:40 2003//TCS101C
/itt_pointwise.mli/1.5/Wed May  7 07:42:40 2003//TCS101C
/itt_pointwise.prla/1.4/Wed May  7 07:42:40 2003//TCS101C
/itt_pointwise2.ml/1.10/Wed May  7 07:42:40 2003//TCS101C
/itt_pointwise2.mli/1.1/Thu Jun 28 20:52:55 2001//TCS101C
/itt_pointwise2.prla/1.8/Wed May  7 07:42:40 2003//TCS101C
/itt_prec.ml/1.38/Wed May  7 07:42:40 2003//TCS101C
/itt_prec.mli/1.17/Wed May  7 07:42:40 2003//TCS101C
/itt_prod.ml/1.48/Wed May  7 07:42:40 2003//TCS101C
/itt_prod.mli/1.21/Wed May  7 07:42:40 2003//TCS101C
/itt_prod.prla/1.12/Wed May  7 07:42:40 2003//TCS101C
/itt_prop_decide.ml/1.15/Wed May  7 07:42:41 2003//TCS101C
/itt_prop_decide.mli/1.6/Mon Jun 10 05:38:07 2002//TCS101C
/itt_prop_decide.prla/1.10/Wed May  7 07:42:41 2003//TCS101C
/itt_quotient.ml/1.59/Wed May  7 10:23:21 2003//TCS101C
/itt_quotient.mli/1.32/Wed May  7 07:42:41 2003//TCS101C
/itt_quotient.prla/1.14/Wed May  7 10:23:21 2003//TCS101C
/itt_quotient_group.mli/1.2/Sat May  3 01:52:05 2003//TCS101C
/itt_rbtree.ml/1.6/Wed May  7 07:42:41 2003//TCS101C
/itt_rbtree.mli/1.1/Tue Mar 18 01:33:08 2003//TCS101C
/itt_record.ml/1.35/Wed May  7 07:42:41 2003//TCS101C
/itt_record.mli/1.6/Tue Mar 11 21:56:41 2003//TCS101C
/itt_record0.ml/1.17/Wed May  7 07:42:41 2003//TCS101C
/itt_record0.mli/1.5/Mon Jun 10 05:38:07 2002//TCS101C
/itt_record_exm.ml/1.25/Wed May  7 07:42:41 2003//TCS101C
/itt_record_exm.mli/1.6/Mon Jun 10 05:38:07 2002//TCS101C
/itt_record_exm.prla/1.16/Wed May  7 07:42:41 2003//TCS101C
/itt_record_label.ml/1.17/Wed May  7 07:42:41 2003//TCS101C
/itt_record_label.mli/1.4/Mon Jun 10 05:38:07 2002//TCS101C
/itt_record_label.prla/1.7/Wed May  7 07:42:41 2003//TCS101C
/itt_record_label0.ml/1.18/Wed May  7 07:42:41 2003//TCS101C
/itt_record_label0.mli/1.8/Wed May  7 07:42:41 2003//TCS101C
/itt_relation_str.ml/1.10/Wed May  7 07:42:41 2003//TCS101C
/itt_relation_str.mli/1.1/Tue Mar 18 01:33:08 2003//TCS101C
/itt_rfun.mli/1.29/Wed May  7 07:42:41 2003//TCS101C
/itt_rfun.prla/1.13/Wed May  7 07:42:41 2003//TCS101C
/itt_set.mli/1.26/Wed May  7 07:42:41 2003//TCS101C
/itt_set_str.ml/1.7/Wed May  7 07:42:41 2003//TCS101C
/itt_set_str.mli/1.1/Tue Mar 18 01:33:08 2003//TCS101C
/itt_singleton.ml/1.8/Wed May  7 07:42:41 2003//TCS101C
/itt_singleton.mli/1.1/Sun Mar 16 20:36:44 2003//TCS101C
/itt_singleton.prla/1.5/Wed May  7 07:42:41 2003//TCS101C
/itt_sort.ml/1.27/Wed May  7 07:42:41 2003//TCS101C
/itt_sort.mli/1.3/Mon Sep  4 17:09:49 2000//TCS101C
/itt_sortedtree.ml/1.7/Wed May  7 07:42:41 2003//TCS101C
/itt_sortedtree.mli/1.1/Tue Mar 18 01:33:08 2003//TCS101C
/itt_squash.prla/1.15/Wed May  7 07:42:41 2003//TCS101C
/itt_squiggle.mli/1.6/Mon Jun 10 05:38:07 2002//TCS101C
/itt_srec.ml/1.43/Wed May  7 07:42:43 2003//TCS101C
/itt_srec.mli/1.19/Wed May  7 07:42:43 2003//TCS101C
/itt_struct2.ml/1.30/Wed May  7 07:42:43 2003//TCS101C
/itt_struct2.mli/1.4/Mon Jun 10 05:38:07 2002//TCS101C
/itt_struct2.prla/1.17/Wed May  7 07:42:43 2003//TCS101C
/itt_struct3.ml/1.11/Wed May  7 07:42:43 2003//TCS101C
/itt_struct3.mli/1.9/Wed May  7 07:42:43 2003//TCS101C
/itt_struct3.prla/1.8/Wed May  7 07:42:43 2003//TCS101C
/itt_subset.ml/1.17/Wed May  7 07:42:43 2003//TCS101C
/itt_subset.mli/1.8/Wed May  7 07:42:43 2003//TCS101C
/itt_subset2.ml/1.7/Wed May  7 07:42:43 2003//TCS101C
/itt_subset2.mli/1.1/Sun Mar 16 20:36:44 2003//TCS101C
/itt_subtype.mli/1.33/Wed May  7 07:42:43 2003//TCS101C
/itt_theory.ml/1.23/Mon Mar 31 00:44:21 2003//TCS101C
/itt_theory.mli/1.13/Fri Jul 19 15:29:58 2002//TCS101C
/itt_tsquash.ml/1.9/Wed May  7 07:42:43 2003//TCS101C
/itt_tsquash.mli/1.2/Mon Jun 10 05:38:07 2002//TCS101C
/itt_tunion.mli/1.11/Wed May  7 07:42:43 2003//TCS101C
/itt_tunion.prla/1.9/Wed May  7 07:42:43 2003//TCS101C
/itt_union.mli/1.26/Wed May  7 07:42:43 2003//TCS101C
/itt_union.prla/1.9/Wed May  7 07:42:43 2003//TCS101C
/itt_union2.ml/1.6/Wed May  7 07:42:43 2003//TCS101C
/itt_union2.mli/1.1/Tue Mar 18 01:33:08 2003//TCS101C
/itt_unit.mli/1.22/Wed May  7 07:42:43 2003//TCS101C
/itt_w.ml/1.38/Wed May  7 07:42:43 2003//TCS101C
/itt_w.mli/1.14/Wed May  7 07:42:43 2003//TCS101C
/itt_w.prla/1.7/Wed May  7 07:42:43 2003//TCS101C
/itt_well_founded.ml/1.20/Wed May  7 07:42:43 2003//TCS101C
/itt_well_founded.mli/1.2/Mon Jun 10 05:38:08 2002//TCS101C
/itt_well_founded.prla/1.8/Wed May  7 07:42:43 2003//TCS101C
/cs101_hw6.ml/1.1.2.1/Thu May 15 07:45:27 2003//TCS101C
/cs101_hw6.mli/1.1.2.1/Thu May 15 07:45:27 2003//TCS101C
/cs101_hw6.prla/1.1.2.1/Thu May 15 07:45:27 2003//TCS101C
/cs101_list2.ml/1.1.2.1/Wed May 14 23:23:36 2003//TCS101C
/cs101_list2.mli/1.1.2.2/Thu May 15 07:45:27 2003//TCS101C
/cs101_list2.prla/1.1.2.1/Wed May 14 23:26:45 2003//TCS101C
/itt_comment.ml/1.24/Thu May 15 07:58:34 2003//TCS101C
/itt_comment.mli/1.17/Thu May 15 07:58:35 2003//TCS101C
/itt_fset.prla/1.26/Thu May 15 07:58:35 2003//TCS101C
/itt_group.mli/1.18/Thu May 15 07:58:35 2003//TCS101C
/itt_group.prla/1.37/Thu May 15 07:58:36 2003//TCS101C
/itt_grouplikeobj.ml/1.29/Thu May 15 07:58:36 2003//TCS101C
/itt_grouplikeobj.prla/1.22/Thu May 15 07:58:36 2003//TCS101C
/itt_int_base.prla/1.32/Thu May 15 07:58:36 2003//TCS101C
/itt_int_ext.mli/1.25/Thu May 15 07:58:36 2003//TCS101C
/itt_int_ext.prla/1.15/Thu May 15 07:58:36 2003//TCS101C
/itt_list.ml/1.62/Thu May 15 07:58:36 2003//TCS101C
/itt_list.prla/1.20/Thu May 15 07:58:37 2003//TCS101C
/itt_nat.ml/1.21/Thu May 15 07:58:37 2003//TCS101C
/itt_nat.mli/1.6/Thu May 15 07:58:37 2003//TCS101C
/itt_nat.prla/1.18/Thu May 15 07:58:37 2003//TCS101C
/itt_quotient_group.ml/1.6/Thu May 15 07:58:37 2003//TCS101C
/itt_record_label0.prla/1.7/Thu May 15 07:58:38 2003//TCS101C
/itt_set.ml/1.58/Thu May 15 07:58:38 2003//TCS101C
/itt_set.prla/1.7/Thu May 15 07:58:38 2003//TCS101C
/itt_sort.prla/1.19/Thu May 15 07:58:38 2003//TCS101C
/itt_squiggle.ml/1.26/Thu May 15 07:58:38 2003//TCS101C
/itt_squiggle.prla/1.6/Thu May 15 07:58:38 2003//TCS101C
/itt_struct.prla/1.14/Thu May 15 07:58:38 2003//TCS101C
/itt_subtype.ml/1.62/Thu May 15 07:58:38 2003//TCS101C
/itt_subtype.prla/1.14/Thu May 15 07:58:38 2003//TCS101C
/itt_tunion.ml/1.27/Thu May 15 07:58:38 2003//TCS101C
/itt_unit.ml/1.48/Thu May 15 07:58:38 2003//TCS101C
/itt_unit.prla/1.10/Thu May 15 07:58:38 2003//TCS101C
/itt_bool.ml/1.70/Fri May 23 05:34:07 2003//TCS101C
/itt_bool.prla/1.30/Fri May 23 05:34:08 2003//TCS101C
/itt_collection.prla/1.23/Fri May 23 05:34:08 2003//TCS101C
/itt_dfun.ml/1.54/Fri May 23 05:34:08 2003//TCS101C
/itt_equal.ml/1.89/Fri May 23 05:34:08 2003//TCS101C
/itt_equal.mli/1.44/Fri May 23 05:34:08 2003//TCS101C
/itt_group.ml/1.47/Fri May 23 05:34:08 2003//TCS101C
/itt_int_base.ml/1.60/Fri May 23 05:34:08 2003//TCS101C
/itt_int_ext.ml/1.52/Fri May 23 05:34:08 2003//TCS101C
/itt_list2.ml/1.37/Fri May 23 05:34:08 2003//TCS101C
/itt_list2.prla/1.25/Fri May 23 05:34:09 2003//TCS101C
/itt_squash.ml/1.70/Fri May 23 05:34:09 2003//TCS101C
/itt_squash.mli/1.30/Fri May 23 05:34:09 2003//TCS101C
/itt_struct.mli/1.37/Fri May 23 05:34:09 2003//TCS101C
/cs101_hw7.ml/1.1.2.1/Fri May 23 05:30:17 2003//TCS101C
/cs101_hw7.mli/1.1.2.1/Fri May 23 05:30:17 2003//TCS101C
/cs101_hw7.prla/1.1.2.1/Fri May 23 05:30:17 2003//TCS101C
/Makefile/1.69.2.4/Fri May 30 05:08:17 2003//TCS101C
/cs101_hw8.ml/1.1.2.2/Fri May 30 05:08:17 2003//TCS101C
/cs101_hw8.mli/1.1.2.2/Fri May 30 05:08:17 2003//TCS101C
/cs101_hw8.prla/1.1.2.3/Fri May 30 05:08:18 2003//TCS101C
/itt_dprod.ml/1.68/Fri May 30 05:08:18 2003//TCS101C
/itt_esquash.ml/1.32/Fri May 30 05:08:18 2003//TCS101C
/itt_esquash.prla/1.17/Fri May 30 05:08:18 2003//TCS101C
/itt_int_arith.ml/1.48/Fri May 30 05:08:18 2003//TCS101C
/itt_isect.ml/1.62/Fri May 30 05:08:18 2003//TCS101C
/itt_isect.mli/1.27/Fri May 30 05:08:18 2003//TCS101C
/itt_isect.prla/1.24/Fri May 30 05:08:18 2003//TCS101C
/itt_quotient_group.prla/1.8/Fri May 30 05:08:18 2003//TCS101C
/itt_record.prla/1.18/Fri May 30 05:08:18 2003//TCS101C
/itt_record0.prla/1.15/Fri May 30 05:08:18 2003//TCS101C
/itt_rfun.ml/1.77/Fri May 30 05:08:18 2003//TCS101C
/itt_sortedtree.prla/1.5/Fri May 30 05:08:19 2003//TCS101C
/itt_struct.ml/1.77/Fri May 30 05:08:19 2003//TCS101C
/itt_subset.prla/1.10/Fri May 30 05:08:19 2003//TCS101C
/itt_subset2.prla/1.4/Fri May 30 05:08:19 2003//TCS101C
/itt_tsquash.prla/1.5/Fri May 30 05:08:19 2003//TCS101C
/itt_union.ml/1.61/Fri May 30 05:08:19 2003//TCS101C
/itt_void.ml/1.49/Fri May 30 05:08:19 2003//TCS101C
/itt_void.mli/1.25/Fri May 30 05:08:19 2003//TCS101C
/itt_void.prla/1.13/Fri May 30 05:08:19 2003//TCS101C
/itt_logic.ml/1.117/Fri May 30 07:32:37 2003//TCS101C
/itt_logic.prla/1.16/Fri May 30 07:32:38 2003//TCS101C
D
