Changed bool to prop

README.md

encodings/bool_plus.lp

encodings/builtins.lp

encodings/equality.lp

encodings/equality_tup.lp

encodings/if.lp

encodings/lhol.lp

encodings/logical.lp

encodings/prenex.lp

encodings/pvs_cert.lp

encodings/unif_rules.lp

paper/proof_irr.lp

paper/rat.lp

prelude/logic.lp

sandbox/boolops.lp

sandbox/cert_star.lp

sandbox/numbers.lp

sandbox/rat_generalised.lp

sandbox/rat_poly.lp

sandbox/subtype_poly.lp