author | wenzelm |
Mon, 06 Oct 1997 18:29:43 +0200 | |
changeset 3781 | ec519ba6196e |
parent 3780 | ac23a9ab3cd6 |
child 3782 | c1b4be0e77cb |
src/Pure/term.ML | file | annotate | diff | comparison | revisions |
--- 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