diff options
| author | Healfdene Goguen | 1997-11-13 10:23:49 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1997-11-13 10:23:49 +0000 |
| commit | 99c7c1dfaa67e6c9247597fed38a9f5bc55a74ef (patch) | |
| tree | 6a71ec7ff2ae1cb764bfc49f8d98ad4a8fad2d7b /todo | |
| parent | 5336774f943006195f5b378ed75ca99d9941bf90 (diff) | |
Includes commented code for Coq version of extent protocol
Diffstat (limited to 'todo')
0 files changed, 0 insertions, 0 deletions