src/HOL/ex/Adder.thy
Sat, 23 Jun 2007 19:33:22 +0200 nipkow tuned and renamed group_eq_simps and ring_eq_simps
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Sun, 01 Oct 2006 18:29:30 +0200 wenzelm tuned proofs;
Wed, 26 Jul 2006 19:23:04 +0200 webertj linear arithmetic splits certain operators (e.g. min, max, abs)
Sat, 27 May 2006 17:42:02 +0200 wenzelm tuned;
Wed, 14 Sep 2005 22:08:08 +0200 wenzelm tuned headers etc.;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
less more (0) -7 tip