src/HOL/Library/Infinite_Set.thy
2007-03-10 berghofe 2007-03-10 Renamed INF to INFM to avoid clash with INF operator defined in FixedPoint theory.
2007-02-01 paulson 2007-02-01 new theorem int_infinite
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-08 wenzelm 2006-11-08 moved theories Parity, GCD, Binomial to Library;
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;