It was an OnGuard U-Lock, with a yellow bulky lock piece. product here
I have this one and I work at a college: http://www.amazon.com/OnGuard-Pitbull-U-Lock-4-Inch-9-06-Inch/dp/B005YPKBWI/
Comes with a cable for the front wheel.