Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2000-02-22 09:42:16 -0800 (Tue, 22 Feb 2000)
Revision: 2906
Log message:

      Itt_bool now expands.
      

Changes  Path
+2 -0 metaprl/editor/ml/shell.ml
+1 -1 metaprl/filter/boot/tactic_boot.ml
+2 -2 metaprl/mk/make_config.sh
+8092 -8116 metaprl/theories/itt/itt_arith.prla
+1206 -1206 metaprl/theories/itt/itt_atom.prla
+336 -342 metaprl/theories/itt/itt_atom_bool.prla
+23 -18 metaprl/theories/itt/itt_bisect.ml
+2373 -1478 metaprl/theories/itt/itt_bisect.prla
+31 -33 metaprl/theories/itt/itt_bool.ml
+12340 -7431 metaprl/theories/itt/itt_bool.prla
+398 -419 metaprl/theories/itt/itt_bunion.prla
+2621 -2981 metaprl/theories/itt/itt_collection.prla
+2383 -2818 metaprl/theories/itt/itt_decidable.prla
+246 -248 metaprl/theories/itt/itt_derive.prla
+1961 -4226 metaprl/theories/itt/itt_dfun.prla
+3897 -3821 metaprl/theories/itt/itt_dprod.prla
+1441 -1446 metaprl/theories/itt/itt_dprod_imp.prla
+7026 -7593 metaprl/theories/itt/itt_equal.prla
+1179 -1150 metaprl/theories/itt/itt_esquash.prla
+307 -354 metaprl/theories/itt/itt_ext_equal.prla
+5054 -4620 metaprl/theories/itt/itt_fset.prla
+3203 -2929 metaprl/theories/itt/itt_fun.prla
+5134 -5007 metaprl/theories/itt/itt_int.prla
+746 -703 metaprl/theories/itt/itt_int_bool.prla
+1795 -1761 metaprl/theories/itt/itt_isect.prla
+2754 -2714 metaprl/theories/itt/itt_list.prla
+2239 -2113 metaprl/theories/itt/itt_list2.prla
+16136 -19598 metaprl/theories/itt/itt_logic.prla
+1305 -1324 metaprl/theories/itt/itt_prec.prla
+1082 -1017 metaprl/theories/itt/itt_prod.prla
+210 -246 metaprl/theories/itt/itt_prop_decide.prla
+2204 -1603 metaprl/theories/itt/itt_quotient.prla
+3998 -5095 metaprl/theories/itt/itt_rfun.prla
+8 -3 metaprl/theories/itt/itt_set.ml
+1892 -1450 metaprl/theories/itt/itt_set.prla
+1842 -21114 metaprl/theories/itt/itt_sort.prla
+1438 -1466 metaprl/theories/itt/itt_squash.prla
+1245 -1268 metaprl/theories/itt/itt_srec.prla
+3491 -3517 metaprl/theories/itt/itt_struct.prla
+5 -2 metaprl/theories/itt/itt_subtype.ml
+1 -1 metaprl/theories/itt/itt_subtype.mli
+3102 -3088 metaprl/theories/itt/itt_subtype.prla
+791 -644 metaprl/theories/itt/itt_theory.prla
+498 -486 metaprl/theories/itt/itt_tunion.prla
+3017 -2952 metaprl/theories/itt/itt_union.prla
+1024 -1049 metaprl/theories/itt/itt_unit.prla
+888 -917 metaprl/theories/itt/itt_void.prla
+1590 -1566 metaprl/theories/itt/itt_w.prla
+223 -224 metaprl/theories/itt/itt_well_founded.prla