diff options
| author | Makarius Wenzel | 1999-07-09 14:48:02 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-07-09 14:48:02 +0000 |
| commit | 8dfd5f5b8c60076e5d5e89bdf27817f983561b84 (patch) | |
| tree | 1bc423acd7a9e18115b1b12353b1135be2a26c9c /html | |
| parent | aefd2b95ac042c22033fcd318f2136e73d5ac050 (diff) | |
added def;
removed qed_with;
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions