diff options
| author | sacerdot | 2004-09-10 14:25:33 +0000 |
|---|---|---|
| committer | sacerdot | 2004-09-10 14:25:33 +0000 |
| commit | 6dc7b44c32d6e05bb965ca1e05b3ce191214c0d3 (patch) | |
| tree | 31bc1795f9c1e9ec438507f976265bf05b42a2c9 /dev/include | |
| parent | 14af99a0b08837fff78e6e4e161d81e8dd936def (diff) | |
1. add_new_morphism now has a new optional argument that is the signature
2. partial setoids (a.k.a. areflexive relations) are now properly supported
3. the first two arguments of proj2 in the proof term have been simplified
to be just the mutual coimplication of the old and the new goal.
4. code simplification
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6094 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions