diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2003-02-12 16:18:50 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2003-02-12 16:18:50 +0000 |
commit | c6ebd146613e4255127c6d1c8036bc4a60a9aac6 (patch) | |
tree | aa7cb8f7f6df279e023e4d7a500e8c711c779460 /phox | |
parent | ef945c54b32e8536624ba1cda22eb2157d9e391c (diff) |
Added the keyword "Local :=" to the coq-goal-command-p function, like
Definition.
Diffstat (limited to 'phox')
0 files changed, 0 insertions, 0 deletions