2/14/09

Favicon

Added a favicon which is a stylized version of the graph of the term 'x(xx)' the smallest tautology in the nand boolean base.

For some reason, it doesn't always display.