diff options
| author | David Aspinall | 2000-08-14 21:06:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-08-14 21:06:06 +0000 |
| commit | a0466897230202bff4724a9c91b037ea0862d817 (patch) | |
| tree | c985394d68e8f2c5be36a175c32dd2c0f6d5d121 /FAQ | |
| parent | 2bd0d2a681d79f027919aec58661f06a2d184426 (diff) | |
Files for testing theorem dependency features.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions