Content - 5846f1a68784a32276e9a92734c1a408aca4b0f1 - c1ec58b/COPYRIGHT

swh:1:snp:1160b607213f14ec0f922dad3284705c8e588b30

Tip revision: da50e3a73e0f61b125115260ff3cc108fcdf5ae6 authored by François Dupressoir on 14 December 2021, 15:43:15 UTC
Improve parser for anonymous proc parameters

Tip revision: da50e3a

EasyCrypt (excluding the EasyCrypt standard library):
  Copyright (c) - 2012-2016 - IMDEA Software Institute
  Copyright (c) - 2012-2021 - Inria
  Copyright (c) - 2012-2021 - X
  Distributed under the terms of the CeCILL-C license

  http://www.cecill.info/licences/Licence_CeCILL-C_V1-en.txt

EasyCrypt standard library (theories/**/*.ec):
  Copyright (c) - 2012-2016 - IMDEA Software Institute
  Copyright (c) - 2012-2021 - Inria
  Copyright (c) - 2012-2021 - X
  Distributed under the terms of the CeCILL-B licence.

  http://www.cecill.info/licences/Licence_CeCILL-B_V1-en.txt