diff options
author | Makarius Wenzel <makarius@sketis.net> | 1999-11-10 14:20:00 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 1999-11-10 14:20:00 +0000 |
commit | 8423337a5cf175abcb3f9cca77ed49b3b79e1caa (patch) | |
tree | 726f90aaaab92ca2396b72ffa87a5fc1ae33bb00 /lego | |
parent | 24c86f6ce52b633973e12457c6ec8c7133209dc7 (diff) |
fixed indentation bug: use proof-looking-at (proof-case-fold-search);
Diffstat (limited to 'lego')
0 files changed, 0 insertions, 0 deletions