eliminated raise_term;

--- a/src/Pure/term.ML	Mon Oct 06 18:29:11 1997 +0200
+++ b/src/Pure/term.ML	Mon Oct 06 18:29:43 1997 +0200
@@ -56,13 +56,9 @@
 (*For errors involving type mismatches*)
 exception TYPE of string * typ list * term list;
 
-fun raise_type msg tys ts = raise TYPE (msg, tys, ts);
-
 (*For system errors involving terms*)
 exception TERM of string * term list;
 
-fun raise_term msg ts = raise TERM (msg, ts);
-
 
 (*Note variable naming conventions!
     a,b,c: string