projects / helm.git / commit
| author | Matthias Puech <puech@cs.mcgill.ca> | |
| Thu, 25 Mar 2010 18:20:15 +0000 (18:20 +0000) | ||
| committer | Matthias Puech <puech@cs.mcgill.ca> | |
| Thu, 25 Mar 2010 18:20:15 +0000 (18:20 +0000) | ||
| commit | a66dbbff290dd9b8e003e3694ec2cfbfa96e6d10 | |
| tree | e8ae6abba94d868f7dedb264e3cc2d98e7a907e1 | tree | snapshot |
| parent | 6b229b2d85552d78fcbce805248f87559f7f6df8 | commit | diff |
| helm/software/matita/nlibrary/arithmetics/R.ma | diff | blob | history |