src/CTT/Arith.thy
2000-11-14 paulson 2000-11-14 x-symbol support for Pi, Sigma, -->, : (membership) note that "lam" is displayed as TWO lambda-symbols
1997-10-10 wenzelm 1997-10-10 fixed dots;
1996-02-05 clasohm 1996-02-05 expanded tabs
1993-09-16 clasohm 1993-09-16 Initial revision