We like Raspberry Pi, and we wonder which distribution are we using now. Do this to find out yourself:
$ readelf -A /proc/self/exe | grep Tag_ABI_VFP_args
Tag_ABI_VFP_args: VFP registers
If the Tag_ABI_VFP_args tag is found, then you're running on an ARMHF system. If nothing is returned, then it's ARMEL. The example above indicates an armhf distro. And the below:
$ pi@raspberrypi:~$ readelf -A /proc/self/exe | grep Tag_ABI_VFP_args
Nothing returned indicates that this is indeed ARMEL, which is the soft-float Debian Wheezy distribution.