diff options
author | 1999-11-10 14:18:55 +0000 | |
---|---|---|
committer | 1999-11-10 14:18:55 +0000 | |
commit | 24c86f6ce52b633973e12457c6ec8c7133209dc7 (patch) | |
tree | 8ddece789f9a9651dff901f22564288860014bc5 /images/notes.txt | |
parent | 2f846f2afed3693ebc18f9ea2fa5dc0fbdaf4c48 (diff) |
proof-looking-at (subject to proof-case-fold-search);
Diffstat (limited to 'images/notes.txt')
0 files changed, 0 insertions, 0 deletions