diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-10-01 10:15:22 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-01 10:15:22 +0000 |
| commit | e913056f6cc7b0d0eb579ca5cd58647782cf6ab7 (patch) | |
| tree | 09bff87ead99216ad4e77fe67cc1d874b678ae5d /coq | |
| parent | 9204dbdd2d3d4b6c6aa7c2a3bb0fdd819c558c2a (diff) | |
Minor changes to introduction.
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions