diff options
author | 2000-09-23 16:47:26 +0000 | |
---|---|---|
committer | 2000-09-23 16:47:26 +0000 | |
commit | 6b9442beff024dcc7839df74f6316f4266c85ba3 (patch) | |
tree | 333ee717d10736fd4a830a216fc55c930994636c /images/ProofGeneral.jpg | |
parent | a76b63449ea1d30816fa1873042b1cfba1cb6432 (diff) |
Standard poor X-Symbol support for twelf.
Diffstat (limited to 'images/ProofGeneral.jpg')
0 files changed, 0 insertions, 0 deletions