src/HOL/ex/Arith_Examples.thy
2007-06-03 wenzelm 2007-06-03 use antiquotations instead of raw TeX code; tuned document;
2007-06-03 nipkow 2007-06-03 fixed tex error
2007-06-02 webertj 2007-06-02 extended
2007-06-02 webertj 2007-06-02 extended
2007-06-02 webertj 2007-06-02 tracing disabled
2007-06-01 webertj 2007-06-01 some tests for arith added