diff options
| author | David Aspinall | 2000-08-14 21:22:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-08-14 21:22:50 +0000 |
| commit | d19da360c94a9145249993ffd752b82d32cbb1c3 (patch) | |
| tree | a0805e0ce63cb3079aea3041e84a89c0f37975d1 /FAQ | |
| parent | a44615bcf133fc3ed3b0a4935367d2a17d9b6748 (diff) | |
Added split string on theorem dependency code, to make list of dependents.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions