Commit all new dependencies files

2018-03-06 18:44:48 +01:00
parent 3768e905ae
commit 0a74393dcf
117 changed files with 37 additions and 120 deletions
@@ -1,4 +1,3 @@
- 
 Algebraic_foundations
 Cartesian_kernel
 Distance_2