diff options
author | 1999-02-01 13:00:40 +0000 | |
---|---|---|
committer | 1999-02-01 13:00:40 +0000 | |
commit | a40ad63aed5c14aa53684133cd3e26ecfa64028a (patch) | |
tree | 32bf0e17b8c06bbbc1f65c92dbc5f3c0e64c6998 /lego | |
parent | 65fe1811e9c7832f4b483cd90f07fcf04747671d (diff) |
Added proof-case-fold-search
Diffstat (limited to 'lego')
0 files changed, 0 insertions, 0 deletions