remove key

Synopsis:

(remove key key from dict)
(remove key key from prop)

Description:

Removes the key key from the dictionary dict, resp. from the dictionary stored in the property prop and returns the new dictionary.

Example:

(new var myDict as {"player1": 10 , "player2":20})
(remove key "player2" 
	from myDict) -->  {player1=10}

Contact: Fulvio Frapolli (fulvio . frapolli //at// unifr . ch), Amos Brocco (amos . brocco //at// unifr . ch)
* Remove spaces and replace //at// with @