…And it comes to be that the soothing light at the end of your tunnel is just a freight train coming your way… 8. FORMAL PROOF II——————let phi = p(x)1. phi => Ax.phi UG2. (phi => Ax.phi) => Ax.(phi => …More
Tag: Voodoo
All the doors I closed one time will open up again
September 9, 2005
Doors! Over the past couple of days I have added doors to Witherwyn. They can be opened, closed, and smashed in by right-clicking on them and using the handy context menu that pops up. Getting the bitmaps on the context …More

