diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-03-20 08:02:08 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-03-20 08:02:08 +0000 |
| commit | 0a59c2e537040d3e74fd65cd738fa617cbd4f1e2 (patch) | |
| tree | 125b5a5d46a346583372b46ab47b3b6a4292a11d /lib/util.mli | |
| parent | 2cf2a943e7140e50343bcb7d2eab24bebeeea9ec (diff) | |
Turning proofs of well-ordering of lexicographic product transparent
(see discussion on coq-club 5-6 Feb 2012).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15059 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib/util.mli')
0 files changed, 0 insertions, 0 deletions