some work on ssreflect and discrete

math-comp · Mar 9, 2015 · 155e671 · 155e671
1 parent fc84c27
commit 155e671
Show file tree

Hide file tree

Showing 27 changed files with 1,580 additions and 23 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,9 @@
+*.d
+*.vo
+*.cm*
+*~
+*.glob
+*.aux
+*.a
+*.o
+Make*.coq
diff --git a/etc/AUTHORS b/etc/AUTHORS
@@ -0,0 +1,15 @@
+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 �cole Polytechnique - Microsoft Inria Joint Centre  	
+Fran�ois Garillot   Microsoft Inria Joint Centre
+Georges Gonthier    Microsoft Research Cambridge - Microsoft Inria Joint Centre
+St�phane 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�ry       Inria Sophia Antipolis - Microsoft Inria Joint Centre
+Russell O'Connor    Mc Master University - Microsoft Inria Joint Centre