src/HOL/Library/LaTeXsugar.thy
2005-05-30 nipkow 2005-05-30 added \nexists
2005-04-10 nipkow 2005-04-10 tuned
2005-01-27 nipkow 2005-01-27 fixed bugs
2005-01-26 nipkow 2005-01-26 new