1
0
forked from GitHub/gf-rgl

VPPart of "prove" is "proven", not "proved"

This commit is contained in:
John J. Camilleri
2018-01-26 13:38:36 +01:00
parent 2f75ef042c
commit ff2b388001

View File

@@ -43164,11 +43164,11 @@ lin protuberant_A = compoundA (mkA "protuberant");
lin proturan_N = mkN "proturan" ;
lin proud_A = mkA "proud" "prouder";
lin provable_A = compoundA (mkA "provable");
lin prove_V = mkV "prove" "proves" "proved" "proved" "proving";
lin prove_V2 = mkV2 (mkV "prove" "proves" "proved" "proved" "proving");
lin prove_V2V = mkV2V (mkV "prove" "proves" "proved" "proved" "proving") noPrep to_Prep ;
lin prove_VA = mkVA (mkV "prove" "proves" "proved" "proved" "proving");
lin prove_VS = mkVS (mkV "prove" "proves" "proved" "proved" "proving");
lin prove_V = mkV "prove" "proves" "proved" "proven" "proving";
lin prove_V2 = mkV2 (mkV "prove" "proves" "proved" "proven" "proving");
lin prove_V2V = mkV2V (mkV "prove" "proves" "proved" "proven" "proving") noPrep to_Prep ;
lin prove_VA = mkVA (mkV "prove" "proves" "proved" "proven" "proving");
lin prove_VS = mkVS (mkV "prove" "proves" "proved" "proven" "proving");
lin provenance_N = mkN "provenance" ;
lin provencal_A = mkA "provencal" ;
lin provender_N = mkN "provender" ;