diff options
| author | Assia Mahboubi | 2007-11-20 16:50:14 +0000 |
|---|---|---|
| committer | Assia Mahboubi | 2007-11-20 16:50:14 +0000 |
| commit | 3a025b59cb36cad0cd257f31b6e4b8bc22f7060f (patch) | |
| tree | e99fbb4e0049054e78c863a1f0e08f199959fa96 /pgshell/example.pgsh | |
| parent | 7cd8ffc02b605ae4af74570d8c912bae1b1763b3 (diff) | |
removed 'by'form coq-reserved and added it to coq-solve-tactics
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions