diff options
| author | David Aspinall | 1999-09-13 14:03:38 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-13 14:03:38 +0000 |
| commit | 0606a0391305da5a3a87bebcef15d3cf2a66be6c (patch) | |
| tree | 58c64d714873d58f8128e5f37934db8301486908 /BUGS | |
| parent | 170e4842b1f8d9975588162a7e63985d53921022 (diff) | |
Cleaned up example files so all demonstrate same theorem "conj_comms".
Would be nice to add more theorems to compare scripts in different
systems.
Diffstat (limited to 'BUGS')
0 files changed, 0 insertions, 0 deletions