Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2000-02-23 22:55:47 -0800 (Wed, 23 Feb 2000)
Revision: 2912
Log message:

      Most of the theories in Itt now expand without errors.
      One exception is Itt_fset, which will require some work.
      

Changes  Path
+12 -0 metaprl/editor/ml/shell.ml
Added metaprl/editor/ml/x
Properties metaprl/editor/ml/x
+2 -2 metaprl/refiner/rewrite/rewrite_build_contractum.ml
+3413 -3406 metaprl/theories/itt/itt_bisect.prla
+17194 -17194 metaprl/theories/itt/itt_bool.prla
+1809 -1493 metaprl/theories/itt/itt_bunion.prla
+13092 -13092 metaprl/theories/itt/itt_collection.prla
+4 -4 metaprl/theories/itt/itt_derive.ml
+2610 -2394 metaprl/theories/itt/itt_derive.prla
+1795 -1945 metaprl/theories/itt/itt_dfun.prla
+5720 -5634 metaprl/theories/itt/itt_dprod.prla
+27 -11 metaprl/theories/itt/itt_dprod_imp.ml
+4 -0 metaprl/theories/itt/itt_dprod_imp.mli
+5521 -4900 metaprl/theories/itt/itt_dprod_imp.prla
+322 -302 metaprl/theories/itt/itt_equal.prla
+2258 -2692 metaprl/theories/itt/itt_fset.prla
+4952 -4944 metaprl/theories/itt/itt_fun.prla
+1304 -1240 metaprl/theories/itt/itt_int.prla
+1946 -1665 metaprl/theories/itt/itt_isect.prla
+8 -7 metaprl/theories/itt/itt_list.ml
+4922 -4614 metaprl/theories/itt/itt_list.prla
+8649 -7152 metaprl/theories/itt/itt_list2.prla
+20774 -20831 metaprl/theories/itt/itt_logic.prla
+1418 -784 metaprl/theories/itt/itt_prod.prla
+3714 -3714 metaprl/theories/itt/itt_prop_decide.prla
+1618 -1586 metaprl/theories/itt/itt_quotient.prla
+2227 -1983 metaprl/theories/itt/itt_rfun.prla
+2679 -3165 metaprl/theories/itt/itt_struct.prla
+517 -514 metaprl/theories/itt/itt_subtype.prla
+2443 -2373 metaprl/theories/itt/itt_union.prla