diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-12-12 10:39:13 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-12-12 10:39:13 +0000 |
| commit | b098dbfa1d910224a2cbb16f95f0b47e88ab69dd (patch) | |
| tree | b5a9879a7e392e2dbe30771b425b71b17202bbfd /theories/Wellfounded | |
| parent | d2d0b966db4b899ac46d57e6f39b5c3b8c5c3753 (diff) | |
AllÃègement de syntxe suite à l'introduction de l'unif pattern
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9439 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Wellfounded')
0 files changed, 0 insertions, 0 deletions