diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-01-23 11:07:13 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-01-23 11:07:13 +0000 |
| commit | 631014bdaac8efaf7471f5be3c1a8204b1d47bcc (patch) | |
| tree | d390b4388f67b2ebd8bd493a29ac942c2aceb78e /coq/example.v | |
| parent | e53a063bddd3b5963e4013a4ad2550e3a7dd2f44 (diff) | |
| parent | 5adef9176df1d34bd552f5fd6a603c2463c09c50 (diff) | |
This commit was generated by cvs2git to track changes on a CVS vendor
branch.
Diffstat (limited to 'coq/example.v')
0 files changed, 0 insertions, 0 deletions