CookBook/Base.thy
2009-03-06 Christian Urban rolled back the changes on the function warning and tracing
less more (0) -1 tip