swh:1:snp:9f9174fb54ac68d4510837c2f930cf0558bce5b6
Tip revision: 863066bded664a5e2aba7f89c4fb7bc2afd0e28d authored by Pierre-Yves Strub on 23 September 2015, 08:28:02 UTC
Ring axioms of the `ring`/`field` tactics agree with the ones of `Ring.ec`
Ring axioms of the `ring`/`field` tactics agree with the ones of `Ring.ec`
Tip revision: 863066b
ecVersion.ml
(* --------------------------------------------------------------------
* Copyright (c) - 2012--2015 - IMDEA Software Institute
* Copyright (c) - 2012--2015 - Inria
*
* Distributed under the terms of the CeCILL-C-V1 license
* -------------------------------------------------------------------- *)
(* -------------------------------------------------------------------- *)
let copyright = "Copyright (c) - 2012-2015 - IMDEA Software Institute and INRIA"
let url = "https://www.easycrypt.info/"
module License = struct
let engine = "Distributed under the terms of the CeCILL-C license"
let stdlib = "Distributed under the terms of the CeCILL-B license"
end