diff options
| author | Thomas Kleymann | 1998-09-09 12:28:00 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-09-09 12:28:00 +0000 |
| commit | 69c03166ebc0762bc7afefa6b3a49e2b991fbc3e (patch) | |
| tree | 4890b41ca8efa802f5d909873054bd319b0e73e5 /coq/example.v | |
| parent | 40a8f6c0ccdee80efcebdd8cdd056ae1f22474aa (diff) | |
*** empty log message ***
Diffstat (limited to 'coq/example.v')
0 files changed, 0 insertions, 0 deletions