src/HOL/Library/Infinite_Set.thy
2006-11-07 wenzelm 2006-11-07 renamed 'const_syntax' to 'notation';
2006-10-01 wenzelm 2006-10-01 moved theory Infinite_Set to Library;