Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-05-17 18:10:45 -0700 (Fri, 17 May 2002)
Revision: 3664
Log message:

      - Removed the .prla files that didn't contain any actual proofs.
      - Refreshed some old .prla files.
      

Changes	Path
+553 -692	metaprl/theories/base/base_rewrite.prla
+677 -1081	metaprl/theories/czf/czf_itt_all.prla
+773 -984	metaprl/theories/czf/czf_itt_and.prla
+1506 -1454	metaprl/theories/czf/czf_itt_axioms.prla
+1461 -1527	metaprl/theories/czf/czf_itt_dall.prla
+1196 -1388	metaprl/theories/czf/czf_itt_dexists.prla
+602 -924	metaprl/theories/czf/czf_itt_empty.prla
+5270 -5762	metaprl/theories/czf/czf_itt_eq.prla
+653 -893	metaprl/theories/czf/czf_itt_exists.prla
+572 -892	metaprl/theories/czf/czf_itt_false.prla
Deleted	metaprl/theories/czf/czf_itt_fol.prla
+790 -1026	metaprl/theories/czf/czf_itt_implies.prla
+1057 -1344	metaprl/theories/czf/czf_itt_isect.prla
+1941 -2124	metaprl/theories/czf/czf_itt_member.prla
+2324 -3011	metaprl/theories/czf/czf_itt_nat.prla
+692 -959	metaprl/theories/czf/czf_itt_or.prla
+803 -1123	metaprl/theories/czf/czf_itt_pair.prla
+1674 -1765	metaprl/theories/czf/czf_itt_power.prla
+1214 -1535	metaprl/theories/czf/czf_itt_rel.prla
+761 -1165	metaprl/theories/czf/czf_itt_sall.prla
+1594 -1592	metaprl/theories/czf/czf_itt_sep.prla
+3428 -3370	metaprl/theories/czf/czf_itt_set_ind.prla
+773 -1183	metaprl/theories/czf/czf_itt_sexists.prla
+843 -1042	metaprl/theories/czf/czf_itt_singleton.prla
+726 -1101	metaprl/theories/czf/czf_itt_subset.prla
Deleted	metaprl/theories/czf/czf_itt_theory.prla
+574 -895	metaprl/theories/czf/czf_itt_true.prla
+2456 -2619	metaprl/theories/czf/czf_itt_union.prla
+737 -962	metaprl/theories/fol/cfol_itt_all.prla
Deleted	metaprl/theories/fol/cfol_theory.prla
Deleted	metaprl/theories/fol/fol_all.prla
Deleted	metaprl/theories/fol/fol_and.prla
Deleted	metaprl/theories/fol/fol_exists.prla
Deleted	metaprl/theories/fol/fol_false.prla
Deleted	metaprl/theories/fol/fol_implies.prla
+655 -969	metaprl/theories/fol/fol_itt_and.prla
+543 -859	metaprl/theories/fol/fol_itt_false.prla
+649 -970	metaprl/theories/fol/fol_itt_implies.prla
+661 -959	metaprl/theories/fol/fol_itt_or.prla
Deleted	metaprl/theories/fol/fol_itt_prop.prla
+527 -827	metaprl/theories/fol/fol_itt_true.prla
Deleted	metaprl/theories/fol/fol_itt_type.prla
+365 -582	metaprl/theories/fol/fol_not.prla
Deleted	metaprl/theories/fol/fol_or.prla
Deleted	metaprl/theories/fol/fol_pred.prla
Deleted	metaprl/theories/fol/fol_struct.prla
Deleted	metaprl/theories/fol/fol_theory.prla
Deleted	metaprl/theories/fol/fol_true.prla
Deleted	metaprl/theories/fol/fol_type.prla
+1 -1	metaprl/theories/itt/itt_prec.ml