diff options
| author | Makarius Wenzel | 2005-11-14 14:37:04 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-11-14 14:37:04 +0000 |
| commit | a2bc782f7b08d1fa32d2dc375706f178b14588be (patch) | |
| tree | 33695b110e83529026e0dcfea33949b029ae17a2 /coq/example.v | |
| parent | b851888514322ecaefc6898b8a74cbaf412982ce (diff) | |
actually revert to revision 8.15;
Diffstat (limited to 'coq/example.v')
0 files changed, 0 insertions, 0 deletions