November 8th, 2001

beartato phd

-

Thought about unification with irrelevance some more.
Moved my stuff out of my office.
Read twelf source again. It makes a little more sense
this time around.