src/HOL/Lex/Regset_of_auto.ML
Tue, 16 Dec 1997 17:58:03 +0100 wenzelm expandshort;
Wed, 05 Nov 1997 09:08:35 +0100 nipkow Added an alternativ version of AutoChopper and a theory for the conversion of
less more (0) tip