QuotScript.thy
Thu, 22 Oct 2009 13:45:48 +0200 Cezary Kaliszyk The problems with 'abs' term.
less more (0) -1 tip