Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-09-05 17:47:10 -0700 (Fri, 05 Sep 2003)
Revision: 4942
Log message:

      For tutorial, refreshing most .prla files in base and itt.
      

Changes	Path
+2458 -2483	metaprl/theories/base/base_rewrite.prla
+3611 -3830	metaprl/theories/itt/ctt_markov.prla
+1796 -1706	metaprl/theories/itt/itt_antiquotient.prla
+3135 -3552	metaprl/theories/itt/itt_bintree.prla
Deleted	metaprl/theories/itt/itt_bugs.prla
+2000 -2309	metaprl/theories/itt/itt_bunion.prla
+13269 -12973	metaprl/theories/itt/itt_cyclic_group.prla
+1682 -1901	metaprl/theories/itt/itt_decidable.prla
+3341 -3477	metaprl/theories/itt/itt_derive.prla
+5067 -5234	metaprl/theories/itt/itt_dprod.prla
+7984 -8383	metaprl/theories/itt/itt_equal.prla
+2077 -2026	metaprl/theories/itt/itt_esquash.prla
+1411 -1314	metaprl/theories/itt/itt_ext_equal.prla
+6494 -6904	metaprl/theories/itt/itt_grouplikeobj.prla
+7271 -7110	metaprl/theories/itt/itt_nat.prla
+1010 -1002	metaprl/theories/itt/itt_pointwise.prla
+1813 -2000	metaprl/theories/itt/itt_prod.prla
+14095 -11878	metaprl/theories/itt/itt_quotient_group.prla
+2043 -2261	metaprl/theories/itt/itt_record_label.prla
+2251 -2278	metaprl/theories/itt/itt_record_label0.prla
+7024 -7340	metaprl/theories/itt/itt_rfun.prla
+2166 -2300	metaprl/theories/itt/itt_set.prla
+1552 -1828	metaprl/theories/itt/itt_singleton.prla
+5973 -5419	metaprl/theories/itt/itt_sort.prla
+6352 -8141	metaprl/theories/itt/itt_sortedtree.prla
+2738 -2833	metaprl/theories/itt/itt_squiggle.prla
+3883 -4889	metaprl/theories/itt/itt_subset2.prla
+3858 -3956	metaprl/theories/itt/itt_subtype.prla
+1163 -1381	metaprl/theories/itt/itt_tsquash.prla
+1313 -1365	metaprl/theories/itt/itt_unit.prla
+1381 -1301	metaprl/theories/itt/itt_void.prla
+3644 -3788	metaprl/theories/itt/itt_w.prla
+2198 -2596	metaprl/theories/itt/itt_well_founded.prla