license: URL: https://github.com/math-comp/odd-order.git
  License: CECILL-B
  
  
  AUTHORS:
  Andrea Asperti      University of Bologna - Microsoft Inria Joint Centre
  Jeremy Avigad       Carnegie Mellon University - Microsoft Inria Joint Centre
  Yves Bertot         Inria Sophia Antipolis - Microsoft Inria Joint Centre
  Cyril Cohen         LIX \xc9cole Polytechnique - Microsoft Inria Joint Centre  	
  Fran\xe7ois Garillot   Microsoft Inria Joint Centre
  Georges Gonthier    Microsoft Research Cambridge - Microsoft Inria Joint Centre
  St\xe9phane Le Roux    Microsoft Inria Joint Centre
  Assia Mahboubi      Inria Saclay - Microsoft Inria Joint Centre
  Sidi Ould Biha      Inria Sophia Antipolis - Microsoft Inria Joint Centre
  Ioana Pasca         Inria Sophia Antipolis - Microsoft Inria Joint Centre
  Laurence Rideau     Inria Sophia Antipolis - Microsoft Inria Joint Centre
  Alexey Solovyev     University of Pittsburgh
  Enrico Tassi        Inria Saclay - Microsoft Inria Joint Centre
  Laurent Th\xe9ry       Inria Sophia Antipolis - Microsoft Inria Joint Centre
  Russell O'Connor    Mc Master University - Microsoft Inria Joint Centre
  