diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2000-09-29 13:39:31 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2000-09-29 13:39:31 +0000 |
| commit | 331720e77ccaec6c18b2770b22d8d7419696b51b (patch) | |
| tree | 093ae0cb2514c0f2ad01ffb268e5366052d5c732 /lego | |
| parent | 72ea2bfb9bd301c8b168e0c5b8bdab7bf4d3461c (diff) | |
a little change in coq/x-symbol, nothing
Diffstat (limited to 'lego')
0 files changed, 0 insertions, 0 deletions