20070310 
berghofe 
20070310 
Renamed INF to INFM to avoid clash with INF operator defined in FixedPoint theory.

file  diff  annotate 
20070201 
paulson 
20070201 
new theorem int_infinite

file  diff  annotate 
20061117 
wenzelm 
20061117 
more robust syntax for definition/abbreviation/notation;

file  diff  annotate 
20061108 
wenzelm 
20061108 
moved theories Parity, GCD, Binomial to Library;

file  diff  annotate 
20061107 
wenzelm 
20061107 
renamed 'const_syntax' to 'notation';

file  diff  annotate 
20061001 
wenzelm 
20061001 
moved theory Infinite_Set to Library;

file  diff  annotate 