src/HOL/ex/AVL.ML
Mon, 30 Sep 2002 16:14:02 +0200 berghofe Adapted to new simplifier.
Thu, 30 May 2002 10:12:52 +0200 nipkow Modifications due to enhanced linear arithmetic.
Thu, 13 Dec 2001 15:45:03 +0100 wenzelm isatool expandshort;
Fri, 05 May 2000 12:51:33 +0200 nipkow Added AVL
less more (0) tip