src/HOL/Library/OptionalSugar.thy
2007-05-06 nipkow 2007-05-06 added "set" supression
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-07 wenzelm 2006-11-07 renamed 'const_syntax' to 'notation';
2006-05-17 wenzelm 2006-05-17 const_syntax;
2005-01-27 nipkow 2005-01-27 fixed bugs
2005-01-26 nipkow 2005-01-26 new