diff options
| author | Makarius Wenzel | 2005-09-01 14:37:10 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-09-01 14:37:10 +0000 |
| commit | a17a66857c2de3db2b1d3a36fe8bea3fd9a48061 (patch) | |
| tree | b274f494b8a407accb2cfe2fdbd7f03c34e9e62a /BUGS.developer | |
| parent | 3176ada294684f095dd3c98ea6de9fe6bbc5090c (diff) | |
renamed thms_containing to find_theorems;
Diffstat (limited to 'BUGS.developer')
0 files changed, 0 insertions, 0 deletions