diff options
| author | sacerdot | 2004-04-01 16:48:15 +0000 |
|---|---|---|
| committer | sacerdot | 2004-04-01 16:48:15 +0000 |
| commit | fd623567d78e917ccc08995b14b1c66eb419487e (patch) | |
| tree | 3a77218334353cb48fa5331ce90a05df624e2d02 /dev/header | |
| parent | 696880386882044f4ef5529f50f8815eac671ace (diff) | |
LocalFact added as a choice for the "as" attribute of ht:VARIABLE in the
DTD. Used for local proofs (e.g. "Let x : True. auto. Qed.").
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5630 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/header')
0 files changed, 0 insertions, 0 deletions