src/HOL/W0/W0.thy
2004-10-11 nipkow 2004-10-11 Proofs needed to be updated because induction now preserves name of induction variable.
2004-08-18 nipkow 2004-08-18 import -> imports
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2003-04-01 nipkow 2003-04-01 Made empty a translation rather than a constant.
2002-09-30 berghofe 2002-09-30 Adapted to new simplifier.
2002-08-27 wenzelm 2002-08-27 avoid duplicate fact bindings;
2002-02-26 wenzelm 2002-02-26 tuned;
2002-02-26 wenzelm 2002-02-26 tuned;
2002-02-26 wenzelm 2002-02-26 converted;