[WP/share] removing wp/share/src

src/plugins/wp/share/src/coq-own-realization.drv

-(**************************************************************************)
-(*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
-(*                                                                        *)
-(*  Copyright (C) 2007-2019                                               *)
-(*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
-(*         alternatives)                                                  *)
-(*                                                                        *)
-(*  All rights reserved.                                                  *)
-(*  Contact CEA LIST for licensing.                                       *)
-(*                                                                        *)
-(**************************************************************************)
-
-theory qed.Qed
-   syntax function pdiv "(ZArith.BinInt.Z.quot %1 %2)"
-   syntax function pmod "(ZArith.BinInt.Z.rem %1 %2)"
-end
\ No newline at end of file

src/plugins/wp/share/src/coq-why3.drv

-(* generated automatically at developer compilation time *)
-theory qed.Qed meta "realized_theory" "qed.Qed", "Qed" end
-theory cmath.Cmath meta "realized_theory" "cmath.Cmath", "Cmath" end
-theory square.Square meta "realized_theory" "square.Square", "Square" end
-theory explog.ExpLog meta "realized_theory" "explog.ExpLog", "ExpLog" end
-theory arctrigo.ArcTrigo meta "realized_theory" "arctrigo.ArcTrigo", "ArcTrigo" end
-theory cint.Cint meta "realized_theory" "cint.Cint", "Cint" end
-theory cbits.Cbits meta "realized_theory" "cbits.Cbits", "Cbits" end
-theory memory.Memory meta "realized_theory" "memory.Memory", "Memory" end
-theory vset.Vset meta "realized_theory" "vset.Vset", "Vset" end
-theory cfloat.Cfloat meta "realized_theory" "cfloat.Cfloat", "Cfloat" end
-theory vlist.Vlist meta "realized_theory" "vlist.Vlist", "Vlist" end