src/HOL/NatArith.thy
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-07-15 nipkow 2004-07-15 more syntax
2004-07-13 nipkow 2004-07-13 Got rid of Summation and made it a translation into setsum instead.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-04-16 wenzelm 2004-04-16 tuned document;
2003-09-26 paulson 2003-09-26 misc tidying
2002-08-13 nipkow 2002-08-13 Counter example generation mods.
2002-07-04 wenzelm 2002-07-04 tuned;
2001-10-03 wenzelm 2001-10-03 tuned parentheses in relational expressions;
2001-07-25 paulson 2001-07-25 Hilbert restructuring: Wellfounded_Relations no longer needs Hilbert_Choice
2001-05-22 paulson 2001-05-22 nat_diff_split_asm, for the assumptions
2001-02-23 oheimb 2001-02-23 renamed addaltern to addafter, addSaltern to addSafter
2001-02-20 oheimb 2001-02-20 added add_arith (just as hint by now)
2000-12-06 paulson 2000-12-06 miniscoping of nat_diff_split
2000-10-13 nipkow 2000-10-13 *** empty log message ***