src/HOL/IntDef.thy
Wed, 02 Jan 2008 15:14:02 +0100 haftmann splitted class uminus from class minus
Fri, 07 Dec 2007 15:07:59 +0100 haftmann instantiation target rather than legacy instance
Thu, 29 Nov 2007 17:08:26 +0100 haftmann instance command as rudimentary class target
less more (0) -10 -3 tip