diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-06-10 22:07:20 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-06-10 22:07:20 +0000 |
| commit | 208d6fdbc89938f1cb96b5dadb1e2c616012ae83 (patch) | |
| tree | 6ed52e44529850706dd4dbbaf51bdd06bc3070da /proofs/logic.mli | |
| parent | 11425d763714cd663a5d3849f6a9367d39f38e7d (diff) | |
Updated CHANGES (info, Show Script, rephrasing).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14187 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'proofs/logic.mli')
0 files changed, 0 insertions, 0 deletions