diff options
| author | Thomas Kleymann | 1997-10-13 17:07:45 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1997-10-13 17:07:45 +0000 |
| commit | 3a484c0b76f9b9e202dc9315161e486464de9ac5 (patch) | |
| tree | 508d1653e52f6a8667b7832ad7825084d6a9a874 /proof.el | |
| parent | 041bd639a4b38876e327b89c89307191b14b9664 (diff) | |
The package pbp is now integrated in the proof package
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions