]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 26 Sep 2005 15:59:44 +0000 (15:59 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 26 Sep 2005 15:59:44 +0000 (15:59 +0000) | ||
commit | 15604016ce7ae57658a94b9b0b5f650441290ac5 | |
tree | e86eb89d63486f8b7d8d410833d92860238d7051 | tree | snapshot |
parent | 62de5609df6dd2138e0e998e4b5956ced8924a0a | commit | diff |
helm/matita/library/nat/permutation.ma | diff | blob | history |