Thanks for your suggestion. Tried running Boot Camp again, to no avail. I get this error message.
"The disk cannot be partitioned because some files cannot be moved. Back up the disk and use Disk Utility to format it as a single Mac OS Extended (Journaled) volume. Restore your information to...
I was running Boot Camp for the first time, and selected a 32GB partition for Windows. The progress bar reached about one third completion, and then just stopped. I waited for about a half hour, with no more progress, so I quit Boot Camp.
Now I seem to have lost a lot of space. My hard drive...