QuotScript.thy
2009-10-28 Cezary Kaliszyk disambiguate ===> syntax
less more (0) -10 -1 tip