src/ZF/int_arith.ML
2009-03-20 wenzelm 2009-03-20 eliminated global SIMPSET, CLASET etc. -- refer to explicit context;
2008-12-31 wenzelm 2008-12-31 moved term order operations to structure TermOrd (cf. Pure/term_ord.ML); tuned signature of structure Term;
2008-06-16 wenzelm 2008-06-16 converted ML proofs;
2008-06-11 wenzelm 2008-06-11 OldGoals.inst;
2008-03-01 wenzelm 2008-03-01 tuned ML code, more antiquotations;
2008-02-11 wenzelm 2008-02-11 removed unnecessary theory qualifiers;
2008-02-11 krauss 2008-02-11 Made theory names in ZF disjoint from HOL theory names to allow loading both developments in a single session (but not merge them).
2007-10-07 wenzelm 2007-10-07 modernized specifications; removed legacy ML bindings;
2007-09-18 wenzelm 2007-09-18 simplified type int (eliminated IntInf.int, integer);
2007-05-31 wenzelm 2007-05-31 moved Integ files to canonical place;