Quot/Examples/IntEx.thy
Tue, 08 Dec 2009 11:38:58 +0100 Cezary Kaliszyk It also regularizes.
less more (0) -10 -1 tip