diff options
| author |  Healfdene Goguen <da+pg-hhg@inf.ed.ac.uk> | 1997-11-20 13:10:56 +0000 |
|---|---|---|
| committer | Healfdene Goguen <da+pg-hhg@inf.ed.ac.uk> | 1997-11-20 13:10:56 +0000 |
| commit | 41a87c513357da8bc0dce196c4ec46255826ba10 (patch) | |
| tree | 0b9eb6825f9240d57f5a7919ef6b5fc7595b4abc /pbp.el | |
| parent | 2b7baf208ca8aa23e7f9038607f0ac4b4fdc1563 (diff) | |
Fixed outstanding things to be updated in Coq.
Diffstat (limited to 'pbp.el')
0 files changed, 0 insertions, 0 deletions